#include "emp-tool/circuits/float32.h"
using emp::Float;
using emp::Bit;

#ifdef __GNUC__
	#ifndef __clang__
		#pragma GCC push_options
		#pragma GCC optimize ("O1")
	#else
		__attribute__((optnone))
	#endif
#endif
Float Float::sqr() const {
	Float res(*this);

	Bit *B = new Bit[4345];

	B[0] = res[0];
	B[1] = res[1];
	B[2] = res[2];
	B[3] = res[3];
	B[4] = res[4];
	B[5] = res[5];
	B[6] = res[6];
	B[7] = res[7];
	B[8] = res[8];
	B[9] = res[9];
	B[10] = res[10];
	B[11] = res[11];
	B[12] = res[12];
	B[13] = res[13];
	B[14] = res[14];
	B[15] = res[15];
	B[16] = res[16];
	B[17] = res[17];
	B[18] = res[18];
	B[19] = res[19];
	B[20] = res[20];
	B[21] = res[21];
	B[22] = res[22];
	B[23] = res[23];
	B[24] = res[24];
	B[25] = res[25];
	B[26] = res[26];
	B[27] = res[27];
	B[28] = res[28];
	B[29] = res[29];
	B[30] = res[30];
	B[31] = res[31];
	B[32] = Bit(false, PUBLIC);
	B[33] = Bit(false, PUBLIC);
	B[34] = Bit(false, PUBLIC);
	B[35] = B[30] & B[29];
	B[36] = B[3] & B[6];
	B[37] = !B[13];
	B[38] = !B[23];
	B[39] = B[1] & B[21];
	B[40] = B[0] & B[22];
	B[41] = B[1] & B[22];
	B[42] = !B[0];
	B[43] = B[2] & B[22];
	B[44] = B[3] & B[22];
	B[45] = B[3] & B[20];
	B[46] = B[7] & B[18];
	B[47] = B[0] & B[19];
	B[48] = B[6] & B[18];
	B[49] = B[7] & B[16];
	B[50] = B[5] & B[19];
	B[51] = B[8] & B[17];
	B[52] = B[1] & B[20];
	B[53] = B[6] & B[17];
	B[54] = B[0] & B[21];
	B[55] = !B[11];
	B[56] = B[1] & B[19];
	B[57] = B[13] & B[12];
	B[58] = B[7] & B[17];
	B[59] = B[11] & B[12];
	B[60] = B[4] & B[20];
	B[61] = B[0] & B[20];
	B[62] = B[11] & B[14];
	B[63] = B[3] & B[18];
	B[64] = B[5] & B[18];
	B[65] = B[2] & B[18];
	B[66] = B[8] & B[16];
	B[67] = B[10] & B[11];
	B[68] = B[8] & B[15];
	B[69] = B[5] & B[20];
	B[70] = B[0] & B[17];
	B[71] = B[6] & B[15];
	B[72] = B[2] & B[20];
	B[73] = B[6] & B[19];
	B[74] = B[5] & B[15];
	B[75] = B[4] & B[19];
	B[76] = B[3] & B[21];
	B[77] = B[4] & B[16];
	B[78] = !B[10];
	B[79] = B[1] & B[18];
	B[80] = B[0] & B[19];
	B[81] = B[5] & B[22];
	B[82] = B[5] & B[16];
	B[83] = B[9] & B[15];
	B[84] = B[10] & B[15];
	B[85] = B[6] & B[16];
	B[86] = B[9] & B[16];
	B[87] = B[6] & B[14];
	B[88] = B[10] & B[13];
	B[89] = B[0] & B[12];
	B[90] = B[5] & B[17];
	B[91] = B[7] & B[14];
	B[92] = B[10] & B[12];
	B[93] = B[3] & B[16];
	B[94] = B[9] & B[12];
	B[95] = B[4] & B[21];
	B[96] = B[12] & B[15];
	B[97] = B[3] & B[17];
	B[98] = !B[20];
	B[99] = B[11] & B[13];
	B[100] = !B[21];
	B[101] = B[10] & B[14];
	B[102] = B[8] & B[13];
	B[103] = B[7] & B[19];
	B[104] = B[11] & B[16];
	B[105] = !B[19];
	B[106] = B[6] & B[13];
	B[107] = !B[18];
	B[108] = B[4] & B[18];
	B[109] = B[7] & B[13];
	B[110] = B[5] & B[15];
	B[111] = B[4] & B[17];
	B[112] = B[8] & B[12];
	B[113] = B[7] & B[15];
	B[114] = B[7] & B[20];
	B[115] = B[8] & B[18];
	B[116] = B[5] & B[14];
	B[117] = B[10] & B[17];
	B[118] = B[9] & B[19];
	B[119] = B[6] & B[14];
	B[120] = B[7] & B[12];
	B[121] = B[2] & B[19];
	B[122] = !B[16];
	B[123] = !B[17];
	B[124] = B[3] & B[19];
	B[125] = B[14] & B[12];
	B[126] = B[8] & B[20];
	B[127] = B[9] & B[18];
	B[128] = B[9] & B[11];
	B[129] = B[4] & B[15];
	B[130] = B[6] & B[20];
	B[131] = B[11] & B[15];
	B[132] = B[9] & B[13];
	B[133] = !B[15];
	B[134] = !B[14];
	B[135] = B[8] & B[19];
	B[136] = B[10] & B[16];
	B[137] = B[8] & B[14];
	B[138] = B[11] & B[21];
	B[139] = B[0] & B[20];
	B[140] = B[13] & B[15];
	B[141] = B[10] & B[19];
	B[142] = B[9] & B[11];
	B[143] = B[9] & B[10];
	B[144] = B[9] & B[17];
	B[145] = B[7] & B[21];
	B[146] = B[5] & B[21];
	B[147] = B[6] & B[21];
	B[148] = B[10] & B[18];
	B[149] = !B[13];
	B[150] = !B[12];
	B[151] = B[9] & B[14];
	B[152] = B[6] & B[22];
	B[153] = B[4] & B[22];
	B[154] = B[2] & B[21];
	B[155] = B[12] & B[16];
	B[156] = B[11] & B[17];
	B[157] = B[14] & B[22];
	B[158] = !B[9];
	B[159] = !B[8];
	B[160] = B[14] & B[13];
	B[161] = !B[6];
	B[162] = !B[5];
	B[163] = !B[7];
	B[164] = !B[2];
	B[165] = !B[1];
	B[166] = !B[4];
	B[167] = !B[3];
	B[168] = !B[29];
	B[169] = !B[24];
	B[170] = !B[26];
	B[171] = !B[32];
	B[172] = B[34] & B[32];
	B[173] = B[0] & B[15];
	B[174] = B[30] ^ B[29];
	B[175] = B[23] & B[24];
	B[176] = B[3] & B[14];
	B[177] = !B[28];
	B[178] = !B[25];
	B[179] = B[7] & B[10];
	B[180] = B[1] & B[16];
	B[181] = B[0] & B[18];
	B[182] = B[1] & B[17];
	B[183] = B[2] & B[16];
	B[184] = B[5] & B[13];
	B[185] = B[4] & B[14];
	B[186] = B[6] & B[12];
	B[187] = B[3] & B[15];
	B[188] = B[8] & B[10];
	B[189] = B[7] & B[11];
	B[190] = B[17] & B[19];
	B[191] = B[15] & B[22];
	B[192] = B[16] & B[20];
	B[193] = B[14] & B[16];
	B[194] = B[9] & B[17];
	B[195] = B[7] & B[22];
	B[196] = B[14] & B[15];
	B[197] = B[9] & B[22];
	B[198] = B[18] & B[19];
	B[199] = B[10] & B[20];
	B[200] = B[18] & B[20];
	B[201] = B[8] & B[11];
	B[202] = B[9] & B[21];
	B[203] = B[17] & B[20];
	B[204] = B[17] & B[21];
	B[205] = B[15] & B[21];
	B[206] = B[15] & B[19];
	B[207] = B[10] & B[19];
	B[208] = B[9] & B[20];
	B[209] = B[14] & B[17];
	B[210] = B[2] & B[17];
	B[211] = B[11] & B[19];
	B[212] = B[16] & B[22];
	B[213] = B[16] & B[21];
	B[214] = B[13] & B[18];
	B[215] = B[13] & B[17];
	B[216] = B[11] & B[18];
	B[217] = B[13] & B[16];
	B[218] = B[12] & B[19];
	B[219] = B[12] & B[20];
	B[220] = B[12] & B[18];
	B[221] = B[13] & B[15];
	B[222] = B[12] & B[17];
	B[223] = B[11] & B[20];
	B[224] = B[18] & B[21];
	B[225] = B[17] & B[22];
	B[226] = B[8] & B[22];
	B[227] = B[8] & B[21];
	B[228] = B[20] & B[19];
	B[229] = B[10] & B[21];
	B[230] = B[16] & B[17];
	B[231] = B[13] & B[19];
	B[232] = B[11] & B[22];
	B[233] = B[10] & B[22];
	B[234] = B[19] & B[21];
	B[235] = B[20] & B[22];
	B[236] = B[18] & B[22];
	B[237] = B[15] & B[18];
	B[238] = B[15] & B[17];
	B[239] = B[14] & B[18];
	B[240] = B[16] & B[18];
	B[241] = B[14] & B[19];
	B[242] = B[0] & B[14];
	B[243] = B[1] & B[13];
	B[244] = B[15] & B[16];
	B[245] = B[13] & B[20];
	B[246] = B[13] & B[22];
	B[247] = B[1] & B[14];
	B[248] = B[0] & B[15];
	B[249] = B[17] & B[18];
	B[250] = B[12] & B[21];
	B[251] = B[14] & B[20];
	B[252] = B[1] & B[15];
	B[253] = B[13] & B[21];
	B[254] = B[16] & B[19];
	B[255] = B[22] & B[19];
	B[256] = B[3] & B[12];
	B[257] = B[0] & B[14];
	B[258] = B[0] & B[16];
	B[259] = B[2] & B[14];
	B[260] = B[15] & B[20];
	B[261] = B[7] & B[8];
	B[262] = B[12] & B[22];
	B[263] = B[2] & B[12];
	B[264] = B[6] & B[9];
	B[265] = B[6] & B[8];
	B[266] = B[4] & B[12];
	B[267] = B[14] & B[21];
	B[268] = B[5] & B[10];
	B[269] = B[5] & B[9];
	B[270] = B[1] & B[11];
	B[271] = B[5] & B[11];
	B[272] = B[4] & B[11];
	B[273] = B[3] & B[13];
	B[274] = B[4] & B[10];
	B[275] = B[0] & B[10];
	B[276] = B[1] & B[9];
	B[277] = B[4] & B[10];
	B[278] = B[6] & B[10];
	B[279] = B[1] & B[12];
	B[280] = B[0] & B[13];
	B[281] = B[2] & B[10];
	B[282] = B[2] & B[13];
	B[283] = B[3] & B[11];
	B[284] = B[0] & B[11];
	B[285] = B[7] & B[9];
	B[286] = B[6] & B[11];
	B[287] = B[5] & B[7];
	B[288] = B[3] & B[10];
	B[289] = B[1] & B[10];
	B[290] = B[5] & B[12];
	B[291] = B[20] & B[21];
	B[292] = B[4] & B[12];
	B[293] = B[4] & B[13];
	B[294] = B[3] & B[9];
	B[295] = B[6] & B[7];
	B[296] = B[1] & B[5];
	B[297] = B[0] & B[3];
	B[298] = B[0] & B[9];
	B[299] = B[0] & B[4];
	B[300] = B[3] & B[5];
	B[301] = B[0] & B[8];
	B[302] = B[1] & B[7];
	B[303] = B[2] & B[4];
	B[304] = B[2] & B[15];
	B[305] = B[1] & B[6];
	B[306] = B[0] & B[6];
	B[307] = B[5] & B[7];
	B[308] = B[5] & B[8];
	B[309] = B[3] & B[8];
	B[310] = B[4] & B[8];
	B[311] = !B[33];
	B[312] = B[4] & B[9];
	B[313] = B[1] & B[4];
	B[314] = B[2] & B[3];
	B[315] = B[1] & B[3];
	B[316] = B[5] & B[6];
	B[317] = B[0] & B[10];
	B[318] = B[4] & B[5];
	B[319] = B[0] & B[6];
	B[320] = B[1] & B[8];
	B[321] = B[2] & B[8];
	B[322] = B[3] & B[7];
	B[323] = B[2] & B[11];
	B[324] = !B[34];
	B[325] = B[4] & B[7];
	B[326] = B[2] & B[9];
	B[327] = B[4] & B[6];
	B[328] = B[3] & B[4];
	B[329] = B[0] & B[7];
	B[330] = B[2] & B[6];
	B[331] = B[2] & B[7];
	B[332] = B[0] & B[5];
	B[333] = B[3] & B[13];
	B[334] = B[0] & B[16];
	B[335] = B[7] & B[9];
	B[336] = B[1] & B[2];
	B[337] = B[2] & B[5];
	B[338] = B[8] & B[9];
	B[339] = B[23] & B[24];
	B[340] = !B[22];
	B[341] = !B[27];
	B[342] = B[22] & B[21];
	B[343] = B[26] & B[25];
	B[344] = B[23] & B[24];
	B[345] = B[27] & B[28];
	B[346] = Bit(false, PUBLIC);
	B[347] = Bit(false, PUBLIC);
	B[348] = Bit(false, PUBLIC);
	B[349] = !B[30];
	B[350] = B[0] & B[17];
	B[351] = !B[15];
	B[352] = B[40] & B[39];
	B[353] = B[42] ^ B[12];
	B[354] = !B[44];
	B[355] = !B[43];
	B[356] = !B[47];
	B[357] = B[55] ^ B[54];
	B[358] = !B[56];
	B[359] = !B[39];
	B[360] = !B[48];
	B[361] = !B[70];
	B[362] = B[78] ^ B[80];
	B[363] = B[14] & B[37];
	B[364] = !B[81];
	B[365] = B[48] & B[43];
	B[366] = B[98] & B[100];
	B[367] = B[105] & B[107];
	B[368] = !B[103];
	B[369] = B[44] & B[13];
	B[370] = B[122] & B[123];
	B[371] = !B[118];
	B[372] = B[56] & B[139];
	B[373] = B[134] & B[133];
	B[374] = B[115] & B[103];
	B[375] = B[0] & B[138];
	B[376] = B[141] & B[0];
	B[377] = B[150] & B[149];
	B[378] = B[150] & B[149];
	B[379] = B[134] & B[133];
	B[380] = B[5] & B[157];
	B[381] = !B[160];
	B[382] = B[159] & B[158];
	B[383] = B[78] & B[55];
	B[384] = B[159] & B[158];
	B[385] = B[164] & B[167];
	B[386] = B[161] & B[163];
	B[387] = B[42] & B[165];
	B[388] = B[162] & B[166];
	B[389] = B[168] & B[349];
	B[390] = B[33] & B[171];
	B[391] = !B[172];
	B[392] = B[25] ^ B[175];
	B[393] = B[158] ^ B[350];
	B[394] = B[38] & B[24];
	B[395] = !B[173];
	B[396] = !B[181];
	B[397] = !B[190];
	B[398] = B[105] ^ B[191];
	B[399] = B[194] & B[0];
	B[400] = !B[193];
	B[401] = B[133] ^ B[195];
	B[402] = !B[197];
	B[403] = B[16] & B[351];
	B[404] = !B[200];
	B[405] = B[192] & B[190];
	B[406] = B[206] & B[22];
	B[407] = B[182] & B[181];
	B[408] = !B[198];
	B[409] = B[113] & B[22];
	B[410] = !B[219];
	B[411] = !B[196];
	B[412] = B[126] & B[118];
	B[413] = B[20] ^ B[225];
	B[414] = B[204] & B[200];
	B[415] = !B[224];
	B[416] = !B[230];
	B[417] = B[17] ^ B[232];
	B[418] = B[199] & B[193];
	B[419] = B[17] & B[235];
	B[420] = !B[234];
	B[421] = B[16] & B[224];
	B[422] = !B[228];
	B[423] = B[86] & B[22];
	B[424] = B[243] & B[242];
	B[425] = !B[240];
	B[426] = !B[244];
	B[427] = B[138] & B[219];
	B[428] = B[18] ^ B[246];
	B[429] = B[159] ^ B[248];
	B[430] = B[15] & B[134];
	B[431] = !B[249];
	B[432] = B[22] & B[100];
	B[433] = !B[252];
	B[434] = !B[243];
	B[435] = B[236] & B[234];
	B[436] = !B[255];
	B[437] = B[21] & B[98];
	B[438] = B[156] & B[22];
	B[439] = B[150] & B[134];
	B[440] = B[107] & B[98];
	B[441] = B[19] & B[107];
	B[442] = B[240] & B[206];
	B[443] = B[270] & B[89];
	B[444] = B[13] & B[236];
	B[445] = !B[270];
	B[446] = B[163] ^ B[280];
	B[447] = B[276] & B[275];
	B[448] = B[161] ^ B[284];
	B[449] = B[68] & B[0];
	B[450] = B[109] & B[0];
	B[451] = !B[235];
	B[452] = !B[291];
	B[453] = !B[305];
	B[454] = B[303] & B[306];
	B[455] = B[297] & B[5];
	B[456] = !B[296];
	B[457] = !B[300];
	B[458] = B[299] & B[7];
	B[459] = !B[276];
	B[460] = B[162] ^ B[298];
	B[461] = B[301] & B[302];
	B[462] = B[286] & B[0];
	B[463] = !B[299];
	B[464] = !B[315];
	B[465] = !B[313];
	B[466] = !B[314];
	B[467] = B[171] & B[311];
	B[468] = B[325] ^ B[326];
	B[469] = B[303] ^ B[319];
	B[470] = !B[322];
	B[471] = B[269] & B[0];
	B[472] = B[3] ^ B[332];
	B[473] = !B[331];
	B[474] = B[166] ^ B[329];
	B[475] = B[326] & B[325];
	B[476] = !B[302];
	B[477] = B[252] & B[334];
	B[478] = B[314] & B[313];
	B[479] = B[315] & B[299];
	B[480] = B[25] & B[339];
	B[481] = B[170] & B[169];
	B[482] = B[341] & B[38];
	B[483] = B[340] & B[100];
	B[484] = B[177] & B[178];
	B[485] = B[341] & B[177];
	B[486] = B[235] & B[19];
	B[487] = B[174] & B[168];
	B[488] = !B[342];
	B[489] = B[344] & B[343];
	B[490] = B[23] & B[169];
	B[491] = B[345] & B[35];
	B[492] = !B[389];
	B[493] = B[491] & B[489];
	B[494] = B[460] ^ B[318];
	B[495] = !B[352];
	B[496] = B[355] ^ B[1];
	B[497] = B[354] ^ B[13];
	B[498] = B[52] & B[356];
	B[499] = B[358] ^ B[61];
	B[500] = B[359] ^ B[40];
	B[501] = B[355] & B[360];
	B[502] = B[79] & B[361];
	B[503] = B[364] ^ B[363];
	B[504] = !B[365];
	B[505] = !B[366];
	B[506] = !B[353];
	B[507] = B[368] ^ B[115];
	B[508] = !B[369];
	B[509] = B[371] ^ B[126];
	B[510] = !B[357];
	B[511] = !B[372];
	B[512] = !B[374];
	B[513] = B[370] & B[367];
	B[514] = B[378] & B[379];
	B[515] = !B[380];
	B[516] = B[382] & B[383];
	B[517] = B[387] & B[385];
	B[518] = B[386] & B[388];
	B[519] = !B[390];
	B[520] = B[488] & B[451];
	B[521] = B[180] & B[395];
	B[522] = B[396] ^ B[182];
	B[523] = B[397] ^ B[192];
	B[524] = B[400] ^ B[199];
	B[525] = B[398] ^ B[198];
	B[526] = B[401] ^ B[196];
	B[527] = B[402] ^ B[403];
	B[528] = B[404] ^ B[204];
	B[529] = !B[362];
	B[530] = !B[405];
	B[531] = !B[406];
	B[532] = !B[407];
	B[533] = !B[409];
	B[534] = B[410] ^ B[138];
	B[535] = B[415] ^ B[16];
	B[536] = B[228] ^ B[413];
	B[537] = !B[414];
	B[538] = !B[412];
	B[539] = B[416] ^ B[417];
	B[540] = !B[418];
	B[541] = !B[419];
	B[542] = B[420] ^ B[236];
	B[543] = !B[421];
	B[544] = !B[424];
	B[545] = B[425] ^ B[206];
	B[546] = !B[423];
	B[547] = !B[427];
	B[548] = B[431] ^ B[428];
	B[549] = !B[430];
	B[550] = B[433] ^ B[258];
	B[551] = !B[432];
	B[552] = B[434] ^ B[257];
	B[553] = !B[438];
	B[554] = B[436] ^ B[437];
	B[555] = !B[435];
	B[556] = B[439] & B[122];
	B[557] = !B[442];
	B[558] = !B[441];
	B[559] = !B[444];
	B[560] = !B[443];
	B[561] = B[445] ^ B[89];
	B[562] = !B[429];
	B[563] = !B[447];
	B[564] = B[437] & B[255];
	B[565] = !B[448];
	B[566] = B[451] ^ B[19];
	B[567] = !B[446];
	B[568] = B[456] ^ B[455];
	B[569] = B[459] ^ B[317];
	B[570] = !B[461];
	B[571] = B[453] ^ B[454];
	B[572] = B[457] ^ B[458];
	B[573] = B[465] & B[466];
	B[574] = B[467] & B[324];
	B[575] = B[464] & B[463];
	B[576] = !B[460];
	B[577] = B[458] & B[300];
	B[578] = B[455] & B[296];
	B[579] = B[470] ^ B[471];
	B[580] = B[454] & B[305];
	B[581] = !B[475];
	B[582] = B[474] ^ B[337];
	B[583] = B[471] & B[322];
	B[584] = !B[478];
	B[585] = !B[477];
	B[586] = B[476] ^ B[301];
	B[587] = !B[474];
	B[588] = B[26] & B[480];
	B[589] = B[26] ^ B[480];
	B[590] = B[482] & B[484];
	B[591] = B[389] & B[481];
	B[592] = B[483] & B[98];
	B[593] = !B[486];
	B[594] = !B[393];
	B[595] = B[41] & B[495];
	B[596] = B[496] ^ B[48];
	B[597] = B[497] ^ B[46];
	B[598] = B[357] ^ B[498];
	B[599] = B[499] ^ B[65];
	B[600] = B[500] ^ B[72];
	B[601] = !B[501];
	B[602] = B[362] ^ B[502];
	B[603] = !B[499];
	B[604] = B[503] ^ B[96];
	B[605] = !B[497];
	B[606] = B[367] & B[505];
	B[607] = B[507] ^ B[125];
	B[608] = !B[507];
	B[609] = B[509] ^ B[140];
	B[610] = B[498] & B[510];
	B[611] = !B[500];
	B[612] = !B[513];
	B[613] = !B[503];
	B[614] = B[515] & B[381];
	B[615] = B[516] & B[514];
	B[616] = B[518] & B[517];
	B[617] = B[21] ^ B[520];
	B[618] = B[391] & B[519];
	B[619] = B[551] ^ B[20];
	B[620] = B[393] ^ B[521];
	B[621] = !B[493];
	B[622] = B[522] ^ B[183];
	B[623] = !B[523];
	B[624] = !B[522];
	B[625] = B[525] ^ B[203];
	B[626] = B[526] ^ B[207];
	B[627] = B[524] ^ B[202];
	B[628] = B[527] ^ B[209];
	B[629] = B[529] & B[79];
	B[630] = B[528] ^ B[212];
	B[631] = B[531] & B[408];
	B[632] = !B[525];
	B[633] = !B[509];
	B[634] = !B[528];
	B[635] = !B[524];
	B[636] = B[533] & B[411];
	B[637] = B[534] ^ B[231];
	B[638] = !B[535];
	B[639] = B[535] ^ B[536];
	B[640] = !B[527];
	B[641] = B[539] ^ B[237];
	B[642] = B[541] & B[422];
	B[643] = B[542] ^ B[17];
	B[644] = !B[534];
	B[645] = B[247] & B[544];
	B[646] = B[546] & B[426];
	B[647] = B[545] ^ B[251];
	B[648] = !B[542];
	B[649] = !B[539];
	B[650] = B[548] ^ B[254];
	B[651] = !B[545];
	B[652] = B[549] & B[149];
	B[653] = B[440] & B[551];
	B[654] = B[552] ^ B[263];
	B[655] = B[550] ^ B[259];
	B[656] = B[553] & B[416];
	B[657] = !B[556];
	B[658] = B[554] ^ B[18];
	B[659] = !B[548];
	B[660] = B[523] ^ B[205];
	B[661] = !B[552];
	B[662] = B[559] & B[431];
	B[663] = B[279] & B[560];
	B[664] = !B[554];
	B[665] = !B[550];
	B[666] = B[561] ^ B[281];
	B[667] = !B[526];
	B[668] = B[289] & B[563];
	B[669] = !B[564];
	B[670] = !B[561];
	B[671] = B[569] ^ B[321];
	B[672] = !B[571];
	B[673] = !B[572];
	B[674] = !B[568];
	B[675] = !B[494];
	B[676] = B[320] & B[570];
	B[677] = !B[574];
	B[678] = B[36] ^ B[494];
	B[679] = B[318] & B[576];
	B[680] = !B[573];
	B[681] = !B[575];
	B[682] = B[571] ^ B[328];
	B[683] = !B[578];
	B[684] = !B[579];
	B[685] = !B[580];
	B[686] = B[594] & B[180];
	B[687] = !B[569];
	B[688] = !B[577];
	B[689] = B[330] ^ B[572];
	B[690] = B[568] ^ B[469];
	B[691] = !B[582];
	B[692] = !B[583];
	B[693] = !B[586];
	B[694] = B[337] & B[587];
	B[695] = B[27] & B[588];
	B[696] = B[27] ^ B[588];
	B[697] = B[591] & B[590];
	B[698] = !B[566];
	B[699] = B[35] & B[492];
	B[700] = !B[520];
	B[701] = B[353] ^ B[595];
	B[702] = B[597] ^ B[51];
	B[703] = B[596] ^ B[50];
	B[704] = B[598] ^ B[63];
	B[705] = B[599] ^ B[74];
	B[706] = B[600] ^ B[85];
	B[707] = !B[596];
	B[708] = B[1] & B[601];
	B[709] = B[602] ^ B[93];
	B[710] = !B[599];
	B[711] = B[604] ^ B[104];
	B[712] = B[65] & B[603];
	B[713] = B[46] & B[605];
	B[714] = !B[597];
	B[715] = B[595] & B[506];
	B[716] = !B[606];
	B[717] = B[607] ^ B[131];
	B[718] = !B[598];
	B[719] = !B[607];
	B[720] = B[125] & B[608];
	B[721] = B[609] ^ B[145];
	B[722] = !B[610];
	B[723] = !B[600];
	B[724] = B[72] & B[611];
	B[725] = !B[604];
	B[726] = B[96] & B[613];
	B[727] = B[514] & B[612];
	B[728] = B[615] & B[616];
	B[729] = !B[615];
	B[730] = !B[617];
	B[731] = !B[618];
	B[732] = !B[697];
	B[733] = B[622] ^ B[184];
	B[734] = !B[622];
	B[735] = B[205] & B[623];
	B[736] = B[183] & B[624];
	B[737] = B[625] ^ B[213];
	B[738] = B[627] ^ B[211];
	B[739] = B[626] ^ B[208];
	B[740] = B[630] ^ B[15];
	B[741] = !B[629];
	B[742] = B[628] ^ B[214];
	B[743] = !B[625];
	B[744] = !B[630];
	B[745] = !B[631];
	B[746] = B[203] & B[632];
	B[747] = !B[609];
	B[748] = B[212] & B[634];
	B[749] = B[221] & B[633];
	B[750] = !B[627];
	B[751] = B[202] & B[635];
	B[752] = !B[636];
	B[753] = B[637] ^ B[233];
	B[754] = !B[639];
	B[755] = !B[628];
	B[756] = !B[614];
	B[757] = B[638] & B[536];
	B[758] = B[641] ^ B[241];
	B[759] = B[209] & B[640];
	B[760] = B[231] & B[644];
	B[761] = B[643] ^ B[642];
	B[762] = !B[646];
	B[763] = B[429] ^ B[645];
	B[764] = !B[637];
	B[765] = !B[641];
	B[766] = B[647] ^ B[253];
	B[767] = !B[642];
	B[768] = !B[643];
	B[769] = B[17] & B[648];
	B[770] = B[237] & B[649];
	B[771] = !B[647];
	B[772] = B[650] ^ B[260];
	B[773] = !B[652];
	B[774] = B[251] & B[651];
	B[775] = B[654] ^ B[265];
	B[776] = !B[650];
	B[777] = !B[653];
	B[778] = B[655] ^ B[266];
	B[779] = !B[656];
	B[780] = B[254] & B[659];
	B[781] = B[657] & B[55];
	B[782] = !B[654];
	B[783] = B[660] ^ B[157];
	B[784] = !B[660];
	B[785] = B[263] & B[661];
	B[786] = !B[658];
	B[787] = B[446] ^ B[663];
	B[788] = !B[662];
	B[789] = B[645] & B[562];
	B[790] = !B[655];
	B[791] = !B[626];
	B[792] = B[259] & B[665];
	B[793] = B[666] ^ B[287];
	B[794] = B[18] & B[664];
	B[795] = B[207] & B[667];
	B[796] = B[452] & B[669];
	B[797] = !B[666];
	B[798] = B[668] & B[565];
	B[799] = B[448] ^ B[668];
	B[800] = B[281] & B[670];
	B[801] = B[663] & B[567];
	B[802] = B[620] ^ B[176];
	B[803] = B[36] & B[675];
	B[804] = B[676] & B[331];
	B[805] = B[330] & B[673];
	B[806] = B[674] & B[469];
	B[807] = B[671] ^ B[327];
	B[808] = B[328] & B[672];
	B[809] = !B[620];
	B[810] = !B[682];
	B[811] = !B[671];
	B[812] = !B[678];
	B[813] = B[336] & B[681];
	B[814] = B[2] & B[681];
	B[815] = B[472] & B[680];
	B[816] = !B[679];
	B[817] = B[473] ^ B[676];
	B[818] = B[321] & B[687];
	B[819] = !B[602];
	B[820] = !B[686];
	B[821] = !B[689];
	B[822] = B[586] ^ B[689];
	B[823] = !B[690];
	B[824] = B[690] & B[584];
	B[825] = B[28] & B[695];
	B[826] = !B[694];
	B[827] = B[28] ^ B[695];
	B[828] = B[618] & B[32];
	B[829] = !B[619];
	B[830] = B[677] & B[324];
	B[831] = B[700] & B[21];
	B[832] = B[699] & B[621];
	B[833] = !B[828];
	B[834] = B[732] & B[38];
	B[835] = B[701] ^ B[45];
	B[836] = B[702] ^ B[57];
	B[837] = B[703] ^ B[58];
	B[838] = B[704] ^ B[67];
	B[839] = B[705] ^ B[77];
	B[840] = B[706] ^ B[90];
	B[841] = !B[703];
	B[842] = B[50] & B[707];
	B[843] = !B[708];
	B[844] = B[110] & B[710];
	B[845] = B[709] ^ B[106];
	B[846] = !B[702];
	B[847] = B[711] ^ B[114];
	B[848] = !B[705];
	B[849] = !B[712];
	B[850] = B[146] ^ B[717];
	B[851] = !B[713];
	B[852] = B[51] & B[714];
	B[853] = !B[715];
	B[854] = B[370] & B[716];
	B[855] = !B[704];
	B[856] = !B[717];
	B[857] = B[63] & B[718];
	B[858] = !B[720];
	B[859] = B[131] & B[719];
	B[860] = !B[701];
	B[861] = !B[706];
	B[862] = B[85] & B[723];
	B[863] = B[722] & B[511];
	B[864] = B[721] ^ B[148];
	B[865] = !B[724];
	B[866] = B[104] & B[725];
	B[867] = !B[711];
	B[868] = !B[727];
	B[869] = !B[726];
	B[870] = !B[728];
	B[871] = B[616] & B[729];
	B[872] = B[830] & B[519];
	B[873] = B[802] ^ B[338];
	B[874] = B[733] ^ B[185];
	B[875] = !B[733];
	B[876] = B[184] & B[734];
	B[877] = !B[736];
	B[878] = !B[735];
	B[879] = B[739] ^ B[216];
	B[880] = B[738] ^ B[215];
	B[881] = B[737] ^ B[14];
	B[882] = B[742] ^ B[218];
	B[883] = !B[740];
	B[884] = !B[737];
	B[885] = B[741] & B[532];
	B[886] = B[213] & B[743];
	B[887] = B[15] & B[744];
	B[888] = !B[746];
	B[889] = !B[721];
	B[890] = !B[748];
	B[891] = B[740] ^ B[631];
	B[892] = !B[738];
	B[893] = B[145] & B[747];
	B[894] = !B[749];
	B[895] = B[211] & B[750];
	B[896] = !B[742];
	B[897] = !B[751];
	B[898] = B[753] ^ B[238];
	B[899] = !B[757];
	B[900] = B[214] & B[755];
	B[901] = B[758] ^ B[245];
	B[902] = !B[759];
	B[903] = !B[760];
	B[904] = !B[758];
	B[905] = !B[753];
	B[906] = B[763] ^ B[256];
	B[907] = B[233] & B[764];
	B[908] = B[241] & B[765];
	B[909] = !B[766];
	B[910] = !B[770];
	B[911] = !B[769];
	B[912] = B[253] & B[771];
	B[913] = B[768] & B[767];
	B[914] = B[766] ^ B[262];
	B[915] = B[773] & B[150];
	B[916] = B[772] ^ B[267];
	B[917] = !B[774];
	B[918] = B[558] & B[777];
	B[919] = B[260] & B[776];
	B[920] = B[778] ^ B[271];
	B[921] = B[775] ^ B[269];
	B[922] = !B[772];
	B[923] = !B[775];
	B[924] = !B[780];
	B[925] = B[783] ^ B[13];
	B[926] = B[265] & B[782];
	B[927] = !B[783];
	B[928] = !B[763];
	B[929] = B[157] & B[784];
	B[930] = !B[785];
	B[931] = !B[789];
	B[932] = B[292] & B[790];
	B[933] = B[787] ^ B[288];
	B[934] = !B[794];
	B[935] = !B[792];
	B[936] = !B[739];
	B[937] = B[208] & B[791];
	B[938] = B[793] ^ B[294];
	B[939] = B[307] & B[797];
	B[940] = !B[787];
	B[941] = B[799] ^ B[309];
	B[942] = B[566] ^ B[796];
	B[943] = !B[795];
	B[944] = !B[798];
	B[945] = !B[793];
	B[946] = !B[800];
	B[947] = !B[799];
	B[948] = !B[801];
	B[949] = !B[778];
	B[950] = !B[806];
	B[951] = !B[807];
	B[952] = !B[808];
	B[953] = !B[804];
	B[954] = !B[802];
	B[955] = !B[803];
	B[956] = !B[805];
	B[957] = B[327] & B[811];
	B[958] = B[814] & B[297];
	B[959] = !B[813];
	B[960] = !B[815];
	B[961] = !B[709];
	B[962] = B[582] ^ B[810];
	B[963] = B[176] & B[809];
	B[964] = B[817] ^ B[812];
	B[965] = B[820] & B[585];
	B[966] = !B[817];
	B[967] = !B[818];
	B[968] = B[93] & B[819];
	B[969] = B[479] & B[823];
	B[970] = B[691] & B[810];
	B[971] = B[693] & B[821];
	B[972] = !B[824];
	B[973] = !B[825];
	B[974] = B[513] & B[728];
	B[975] = !B[796];
	B[976] = B[487] & B[825];
	B[977] = !B[831];
	B[978] = B[825] & B[168];
	B[979] = B[834] ^ B[24];
	B[980] = B[592] & B[974];
	B[981] = !B[834];
	B[982] = B[835] ^ B[49];
	B[983] = B[837] ^ B[60];
	B[984] = B[836] ^ B[62];
	B[985] = B[838] ^ B[71];
	B[986] = B[839] ^ B[87];
	B[987] = !B[837];
	B[988] = B[58] & B[841];
	B[989] = B[840] ^ B[92];
	B[990] = B[843] & B[504];
	B[991] = !B[842];
	B[992] = !B[839];
	B[993] = B[845] ^ B[116];
	B[994] = !B[844];
	B[995] = B[847] ^ B[117];
	B[996] = B[77] & B[848];
	B[997] = B[57] & B[846];
	B[998] = !B[836];
	B[999] = B[853] & B[495];
	B[1000] = B[850] ^ B[130];
	B[1001] = !B[852];
	B[1002] = B[508] & B[851];
	B[1003] = !B[854];
	B[1004] = B[67] & B[855];
	B[1005] = !B[850];
	B[1006] = B[146] & B[856];
	B[1007] = !B[835];
	B[1008] = !B[838];
	B[1009] = !B[840];
	B[1010] = B[45] & B[860];
	B[1011] = !B[857];
	B[1012] = !B[859];
	B[1013] = B[512] & B[858];
	B[1014] = B[864] ^ B[152];
	B[1015] = !B[862];
	B[1016] = B[90] & B[861];
	B[1017] = !B[863];
	B[1018] = !B[847];
	B[1019] = !B[866];
	B[1020] = B[114] & B[867];
	B[1021] = B[516] & B[868];
	B[1022] = B[834] & B[169];
	B[1023] = !B[871];
	B[1024] = !B[872];
	B[1025] = B[931] & B[544];
	B[1026] = !B[976];
	B[1027] = !B[873];
	B[1028] = B[874] ^ B[186];
	B[1029] = !B[845];
	B[1030] = !B[874];
	B[1031] = B[185] & B[875];
	B[1032] = !B[876];
	B[1033] = B[530] & B[878];
	B[1034] = B[879] ^ B[217];
	B[1035] = !B[881];
	B[1036] = B[880] ^ B[220];
	B[1037] = B[883] & B[745];
	B[1038] = B[14] & B[884];
	B[1039] = !B[886];
	B[1040] = !B[885];
	B[1041] = B[882] ^ B[223];
	B[1042] = !B[887];
	B[1043] = B[148] & B[889];
	B[1044] = !B[864];
	B[1045] = B[215] & B[892];
	B[1046] = !B[880];
	B[1047] = B[537] & B[890];
	B[1048] = B[538] & B[894];
	B[1049] = !B[893];
	B[1050] = !B[882];
	B[1051] = B[218] & B[896];
	B[1052] = !B[895];
	B[1053] = B[540] & B[897];
	B[1054] = B[898] ^ B[239];
	B[1055] = B[543] & B[899];
	B[1056] = !B[900];
	B[1057] = B[901] ^ B[250];
	B[1058] = !B[898];
	B[1059] = !B[901];
	B[1060] = B[547] & B[903];
	B[1061] = B[238] & B[905];
	B[1062] = B[245] & B[904];
	B[1063] = !B[908];
	B[1064] = !B[907];
	B[1065] = B[906] ^ B[261];
	B[1066] = B[262] & B[909];
	B[1067] = B[914] ^ B[11];
	B[1068] = B[555] & B[911];
	B[1069] = !B[912];
	B[1070] = !B[913];
	B[1071] = !B[915];
	B[1072] = !B[914];
	B[1073] = B[557] & B[917];
	B[1074] = B[916] ^ B[12];
	B[1075] = !B[916];
	B[1076] = B[918] & B[123];
	B[1077] = !B[921];
	B[1078] = !B[919];
	B[1079] = B[920] ^ B[273];
	B[1080] = B[267] & B[922];
	B[1081] = B[269] & B[923];
	B[1082] = B[921] ^ B[277];
	B[1083] = !B[906];
	B[1084] = B[873] ^ B[179];
	B[1085] = !B[925];
	B[1086] = B[925] ^ B[662];
	B[1087] = !B[926];
	B[1088] = B[13] & B[927];
	B[1089] = B[256] & B[928];
	B[1090] = !B[929];
	B[1091] = !B[932];
	B[1092] = B[933] ^ B[295];
	B[1093] = !B[879];
	B[1094] = !B[933];
	B[1095] = B[216] & B[936];
	B[1096] = !B[937];
	B[1097] = B[938] ^ B[310];
	B[1098] = B[288] & B[940];
	B[1099] = !B[939];
	B[1100] = B[944] & B[563];
	B[1101] = !B[938];
	B[1102] = B[941] ^ B[316];
	B[1103] = B[294] & B[945];
	B[1104] = !B[941];
	B[1105] = !B[920];
	B[1106] = B[309] & B[947];
	B[1107] = B[948] & B[560];
	B[1108] = B[271] & B[949];
	B[1109] = B[688] & B[956];
	B[1110] = B[579] ^ B[951];
	B[1111] = B[685] & B[952];
	B[1112] = B[953] & B[570];
	B[1113] = B[816] & B[955];
	B[1114] = B[338] & B[954];
	B[1115] = B[684] & B[951];
	B[1116] = B[683] & B[950];
	B[1117] = !B[963];
	B[1118] = !B[957];
	B[1119] = !B[964];
	B[1120] = !B[958];
	B[1121] = B[106] & B[961];
	B[1122] = B[959] & B[960];
	B[1123] = B[966] & B[812];
	B[1124] = !B[968];
	B[1125] = !B[962];
	B[1126] = !B[970];
	B[1127] = !B[971];
	B[1128] = B[29] & B[973];
	B[1129] = B[834] & B[178];
	B[1130] = B[698] & B[975];
	B[1131] = !B[965];
	B[1132] = !B[978];
	B[1133] = !B[979];
	B[1134] = B[761] ^ B[1055];
	B[1135] = B[1022] ^ B[25];
	B[1136] = B[982] ^ B[53];
	B[1137] = B[984] ^ B[69];
	B[1138] = B[983] ^ B[66];
	B[1139] = B[985] ^ B[82];
	B[1140] = !B[983];
	B[1141] = B[986] ^ B[97];
	B[1142] = !B[988];
	B[1143] = B[60] & B[987];
	B[1144] = !B[986];
	B[1145] = B[989] ^ B[108];
	B[1146] = B[119] & B[992];
	B[1147] = B[849] & B[994];
	B[1148] = !B[984];
	B[1149] = B[993] ^ B[120];
	B[1150] = B[995] ^ B[127];
	B[1151] = !B[996];
	B[1152] = B[62] & B[998];
	B[1153] = !B[997];
	B[1154] = B[1000] ^ B[136];
	B[1155] = !B[999];
	B[1156] = !B[1000];
	B[1157] = !B[990];
	B[1158] = B[373] & B[1003];
	B[1159] = !B[985];
	B[1160] = !B[982];
	B[1161] = B[49] & B[1007];
	B[1162] = B[71] & B[1008];
	B[1163] = !B[1004];
	B[1164] = B[130] & B[1005];
	B[1165] = !B[1006];
	B[1166] = !B[1010];
	B[1167] = !B[1002];
	B[1168] = !B[995];
	B[1169] = B[92] & B[1009];
	B[1170] = !B[989];
	B[1171] = B[865] & B[1015];
	B[1172] = B[1014] ^ B[155];
	B[1173] = !B[1016];
	B[1174] = B[117] & B[1018];
	B[1175] = B[869] & B[1019];
	B[1176] = !B[1013];
	B[1177] = !B[1020];
	B[1178] = !B[1021];
	B[1179] = B[178] & B[1022];
	B[1180] = B[174] & B[1132];
	B[1181] = !B[980];
	B[1182] = B[910] & B[1063];
	B[1183] = B[1028] ^ B[187];
	B[1184] = !B[1028];
	B[1185] = !B[993];
	B[1186] = B[186] & B[1030];
	B[1187] = B[116] & B[1029];
	B[1188] = !B[1031];
	B[1189] = B[877] & B[1032];
	B[1190] = !B[1033];
	B[1191] = B[1034] ^ B[222];
	B[1192] = B[1036] ^ B[226];
	B[1193] = !B[1037];
	B[1194] = B[888] & B[1039];
	B[1195] = !B[1038];
	B[1196] = B[1041] ^ B[229];
	B[1197] = !B[1014];
	B[1198] = !B[1036];
	B[1199] = !B[1043];
	B[1200] = !B[1041];
	B[1201] = B[152] & B[1044];
	B[1202] = B[639] ^ B[1047];
	B[1203] = !B[1047];
	B[1204] = B[220] & B[1046];
	B[1205] = B[223] & B[1050];
	B[1206] = !B[1045];
	B[1207] = !B[1051];
	B[1208] = B[1054] ^ B[9];
	B[1209] = !B[1053];
	B[1210] = B[902] & B[1056];
	B[1211] = !B[1054];
	B[1212] = B[1057] ^ B[10];
	B[1213] = !B[1055];
	B[1214] = B[239] & B[1058];
	B[1215] = B[250] & B[1059];
	B[1216] = !B[1060];
	B[1217] = !B[1062];
	B[1218] = !B[1061];
	B[1219] = B[1065] ^ B[264];
	B[1220] = !B[1066];
	B[1221] = !B[1057];
	B[1222] = !B[1067];
	B[1223] = B[658] ^ B[1068];
	B[1224] = B[1067] ^ B[656];
	B[1225] = !B[1074];
	B[1226] = !B[1073];
	B[1227] = B[1074] ^ B[1073];
	B[1228] = !B[1065];
	B[1229] = B[781] & B[1071];
	B[1230] = B[1071] & B[55];
	B[1231] = B[11] & B[1072];
	B[1232] = B[12] & B[1075];
	B[1233] = B[1079] ^ B[278];
	B[1234] = B[274] & B[1077];
	B[1235] = B[924] & B[1078];
	B[1236] = !B[1081];
	B[1237] = !B[1068];
	B[1238] = B[1082] ^ B[283];
	B[1239] = !B[1080];
	B[1240] = B[261] & B[1083];
	B[1241] = B[1084] ^ B[286];
	B[1242] = !B[1082];
	B[1243] = B[930] & B[1087];
	B[1244] = B[1085] & B[788];
	B[1245] = !B[1089];
	B[1246] = !B[1088];
	B[1247] = B[881] ^ B[1033];
	B[1248] = B[935] & B[1091];
	B[1249] = B[1092] ^ B[308];
	B[1250] = B[217] & B[1093];
	B[1251] = !B[1034];
	B[1252] = !B[1025];
	B[1253] = !B[1095];
	B[1254] = !B[1048];
	B[1255] = B[295] & B[1094];
	B[1256] = B[1097] ^ B[462];
	B[1257] = B[943] & B[1096];
	B[1258] = !B[1102];
	B[1259] = !B[1100];
	B[1260] = B[310] & B[1101];
	B[1261] = !B[1098];
	B[1262] = !B[1097];
	B[1263] = B[946] & B[1099];
	B[1264] = !B[1079];
	B[1265] = !B[1092];
	B[1266] = B[316] & B[1104];
	B[1267] = !B[1103];
	B[1268] = !B[1107];
	B[1269] = !B[1106];
	B[1270] = B[333] & B[1105];
	B[1271] = !B[1108];
	B[1272] = !B[1110];
	B[1273] = B[1110] ^ B[1112];
	B[1274] = !B[1112];
	B[1275] = !B[1113];
	B[1276] = !B[1115];
	B[1277] = !B[1111];
	B[1278] = !B[1114];
	B[1279] = !B[1109];
	B[1280] = B[1116] & B[962];
	B[1281] = B[1102] ^ B[468];
	B[1282] = !B[1121];
	B[1283] = B[967] & B[1118];
	B[1284] = B[1122] & B[1120];
	B[1285] = !B[1116];
	B[1286] = !B[1123];
	B[1287] = B[964] ^ B[1109];
	B[1288] = B[826] & B[1126];
	B[1289] = !B[1128];
	B[1290] = B[697] & B[980];
	B[1291] = B[980] & B[493];
	B[1292] = B[1129] & B[29];
	B[1293] = !B[1130];
	B[1294] = !B[1084];
	B[1295] = B[179] & B[1027];
	B[1296] = !B[1133];
	B[1297] = B[1179] & B[170];
	B[1298] = B[1136] ^ B[59];
	B[1299] = B[1138] ^ B[76];
	B[1300] = B[1137] ^ B[73];
	B[1301] = B[1139] ^ B[91];
	B[1302] = B[66] & B[1140];
	B[1303] = B[1141] ^ B[109];
	B[1304] = !B[1141];
	B[1305] = !B[1138];
	B[1306] = B[1145] ^ B[113];
	B[1307] = B[991] & B[1142];
	B[1308] = !B[1143];
	B[1309] = B[97] & B[1144];
	B[1310] = !B[1139];
	B[1311] = B[1149] ^ B[129];
	B[1312] = !B[1137];
	B[1313] = B[69] & B[1148];
	B[1314] = !B[1146];
	B[1315] = !B[1149];
	B[1316] = !B[1152];
	B[1317] = B[1001] & B[1153];
	B[1318] = B[1150] ^ B[135];
	B[1319] = B[1154] ^ B[144];
	B[1320] = !B[1136];
	B[1321] = B[82] & B[1159];
	B[1322] = !B[1158];
	B[1323] = B[136] & B[1156];
	B[1324] = !B[1154];
	B[1325] = !B[1161];
	B[1326] = B[1012] & B[1165];
	B[1327] = B[53] & B[1160];
	B[1328] = B[1011] & B[1163];
	B[1329] = !B[1162];
	B[1330] = !B[1150];
	B[1331] = !B[1164];
	B[1332] = !B[1147];
	B[1333] = !B[1145];
	B[1334] = B[127] & B[1168];
	B[1335] = !B[1169];
	B[1336] = B[108] & B[1170];
	B[1337] = B[1172] ^ B[156];
	B[1338] = !B[1171];
	B[1339] = !B[1174];
	B[1340] = B[1021] & B[1135];
	B[1341] = !B[1135];
	B[1342] = B[1135] ^ B[1021];
	B[1343] = B[1178] & B[492];
	B[1344] = B[1124] & B[1282];
	B[1345] = B[593] & B[1293];
	B[1346] = B[286] & B[1294];
	B[1347] = !B[1290];
	B[1348] = B[1183] ^ B[188];
	B[1349] = !B[1183];
	B[1350] = B[187] & B[1184];
	B[1351] = B[120] & B[1185];
	B[1352] = !B[1186];
	B[1353] = !B[1187];
	B[1354] = !B[1189];
	B[1355] = B[1035] & B[1190];
	B[1356] = B[636] & B[1192];
	B[1357] = B[1191] ^ B[227];
	B[1358] = !B[1192];
	B[1359] = B[1042] & B[1193];
	B[1360] = B[891] ^ B[1194];
	B[1361] = !B[1196];
	B[1362] = !B[1172];
	B[1363] = B[155] & B[1197];
	B[1364] = B[1049] & B[1199];
	B[1365] = !B[1194];
	B[1366] = B[229] & B[1200];
	B[1367] = !B[1201];
	B[1368] = B[1196] ^ B[8];
	B[1369] = B[226] & B[1198];
	B[1370] = !B[1205];
	B[1371] = B[754] & B[1203];
	B[1372] = !B[1175];
	B[1373] = B[1052] & B[1206];
	B[1374] = !B[1204];
	B[1375] = !B[1134];
	B[1376] = !B[1208];
	B[1377] = !B[1210];
	B[1378] = B[9] & B[1211];
	B[1379] = !B[1212];
	B[1380] = !B[1214];
	B[1381] = !B[1215];
	B[1382] = B[761] & B[1213];
	B[1383] = B[1064] & B[1218];
	B[1384] = B[1069] & B[1220];
	B[1385] = !B[1182];
	B[1386] = B[10] & B[1221];
	B[1387] = B[1219] ^ B[268];
	B[1388] = !B[1219];
	B[1389] = B[1222] & B[779];
	B[1390] = B[1225] & B[1226];
	B[1391] = B[264] & B[1228];
	B[1392] = B[1230] & B[1076];
	B[1393] = !B[1229];
	B[1394] = !B[1231];
	B[1395] = !B[1234];
	B[1396] = B[1233] ^ B[285];
	B[1397] = !B[1232];
	B[1398] = !B[1235];
	B[1399] = B[1241] ^ B[290];
	B[1400] = B[1086] ^ B[1235];
	B[1401] = !B[1240];
	B[1402] = !B[1238];
	B[1403] = B[786] & B[1237];
	B[1404] = B[283] & B[1242];
	B[1405] = B[1090] & B[1246];
	B[1406] = !B[1244];
	B[1407] = !B[1243];
	B[1408] = !B[1191];
	B[1409] = B[1192] ^ B[7];
	B[1410] = !B[1250];
	B[1411] = B[222] & B[1251];
	B[1412] = B[1249] ^ B[312];
	B[1413] = !B[1255];
	B[1414] = B[1238] ^ B[450];
	B[1415] = !B[1256];
	B[1416] = !B[1233];
	B[1417] = !B[1241];
	B[1418] = !B[1249];
	B[1419] = !B[1260];
	B[1420] = B[1258] & B[468];
	B[1421] = !B[1263];
	B[1422] = B[462] & B[1262];
	B[1423] = B[278] & B[1264];
	B[1424] = B[308] & B[1265];
	B[1425] = !B[1266];
	B[1426] = !B[1257];
	B[1427] = !B[1270];
	B[1428] = B[1256] ^ B[1100];
	B[1429] = !B[1248];
	B[1430] = B[1273] & B[1275];
	B[1431] = B[1272] & B[1274];
	B[1432] = B[1119] & B[1279];
	B[1433] = B[1117] & B[1278];
	B[1434] = B[692] & B[1276];
	B[1435] = B[822] & B[1277];
	B[1436] = !B[1280];
	B[1437] = B[1281] ^ B[1283];
	B[1438] = !B[1283];
	B[1439] = !B[1281];
	B[1440] = B[1125] & B[1285];
	B[1441] = B[1277] ^ B[822];
	B[1442] = !B[1284];
	B[1443] = !B[1287];
	B[1444] = B[1273] ^ B[1113];
	B[1445] = !B[1288];
	B[1446] = B[493] & B[1181];
	B[1447] = !B[1291];
	B[1448] = !B[1179];
	B[1449] = !B[1180];
	B[1450] = !B[1295];
	B[1451] = B[1133] & B[340];
	B[1452] = B[1345] ^ B[619];
	B[1453] = B[1298] ^ B[64];
	B[1454] = B[1300] ^ B[84];
	B[1455] = B[1299] ^ B[83];
	B[1456] = !B[1298];
	B[1457] = B[1301] ^ B[94];
	B[1458] = !B[1299];
	B[1459] = B[109] & B[1304];
	B[1460] = B[1303] ^ B[112];
	B[1461] = B[76] & B[1305];
	B[1462] = !B[1302];
	B[1463] = !B[1301];
	B[1464] = B[153] ^ B[1319];
	B[1465] = !B[1309];
	B[1466] = !B[1303];
	B[1467] = B[1306] ^ B[124];
	B[1468] = !B[1300];
	B[1469] = B[91] & B[1310];
	B[1470] = B[1151] & B[1314];
	B[1471] = !B[1311];
	B[1472] = B[73] & B[1312];
	B[1473] = !B[1313];
	B[1474] = !B[1306];
	B[1475] = B[129] & B[1315];
	B[1476] = B[1318] ^ B[147];
	B[1477] = !B[1307];
	B[1478] = !B[1319];
	B[1479] = !B[1321];
	B[1480] = B[59] & B[1320];
	B[1481] = !B[1323];
	B[1482] = B[377] & B[1322];
	B[1483] = B[144] & B[1324];
	B[1484] = B[113] & B[1333];
	B[1485] = !B[1327];
	B[1486] = !B[1317];
	B[1487] = B[135] & B[1330];
	B[1488] = B[1166] & B[1325];
	B[1489] = !B[1336];
	B[1490] = B[1173] & B[1335];
	B[1491] = !B[1334];
	B[1492] = !B[1328];
	B[1493] = B[1337] ^ B[5];
	B[1494] = !B[1318];
	B[1495] = !B[1326];
	B[1496] = !B[1340];
	B[1497] = B[1177] & B[1339];
	B[1498] = B[1341] & B[1178];
	B[1499] = B[1297] ^ B[27];
	B[1500] = !B[1343];
	B[1501] = B[1297] & B[168];
	B[1502] = B[1297] ^ B[28];
	B[1503] = !B[1297];
	B[1504] = B[1448] ^ B[26];
	B[1505] = B[1449] & B[492];
	B[1506] = B[1269] & B[1425];
	B[1507] = B[1217] & B[1381];
	B[1508] = B[1348] ^ B[189];
	B[1509] = !B[1348];
	B[1510] = B[1311] ^ B[143];
	B[1511] = B[188] & B[1349];
	B[1512] = !B[1350];
	B[1513] = !B[1351];
	B[1514] = B[1188] & B[1352];
	B[1515] = !B[1355];
	B[1516] = !B[1356];
	B[1517] = !B[1337];
	B[1518] = B[1357] ^ B[6];
	B[1519] = B[8] & B[1361];
	B[1520] = !B[1363];
	B[1521] = !B[1360];
	B[1522] = !B[1359];
	B[1523] = B[156] & B[1362];
	B[1524] = B[1358] & B[752];
	B[1525] = B[1368] ^ B[1053];
	B[1526] = !B[1369];
	B[1527] = B[891] & B[1365];
	B[1528] = !B[1366];
	B[1529] = !B[1371];
	B[1530] = B[1207] & B[1370];
	B[1531] = !B[1373];
	B[1532] = !B[1368];
	B[1533] = B[1202] ^ B[1359];
	B[1534] = !B[1378];
	B[1535] = B[1216] ^ B[1379];
	B[1536] = !B[1382];
	B[1537] = !B[1383];
	B[1538] = B[1379] & B[1216];
	B[1539] = B[1341] & B[1296];
	B[1540] = !B[1384];
	B[1541] = B[1387] ^ B[272];
	B[1542] = !B[1386];
	B[1543] = !B[1387];
	B[1544] = !B[1389];
	B[1545] = B[268] & B[1388];
	B[1546] = !B[1392];
	B[1547] = B[1393] & B[78];
	B[1548] = B[1227] ^ B[1384];
	B[1549] = !B[1391];
	B[1550] = !B[1390];
	B[1551] = B[1086] & B[1398];
	B[1552] = B[1239] & B[1397];
	B[1553] = B[1236] & B[1395];
	B[1554] = B[1396] ^ B[449];
	B[1555] = !B[1403];
	B[1556] = B[1399] ^ B[293];
	B[1557] = B[1245] & B[1401];
	B[1558] = !B[1400];
	B[1559] = B[450] & B[1402];
	B[1560] = !B[1396];
	B[1561] = B[1048] & B[1357];
	B[1562] = B[1247] ^ B[1405];
	B[1563] = !B[1404];
	B[1564] = B[227] & B[1408];
	B[1565] = !B[1357];
	B[1566] = B[1409] ^ B[636];
	B[1567] = !B[1411];
	B[1568] = B[1253] & B[1410];
	B[1569] = B[1412] ^ B[323];
	B[1570] = !B[1399];
	B[1571] = !B[1414];
	B[1572] = B[1261] & B[1413];
	B[1573] = !B[1412];
	B[1574] = B[1415] & B[1259];
	B[1575] = !B[1364];
	B[1576] = B[335] & B[1416];
	B[1577] = B[290] & B[1417];
	B[1578] = B[312] & B[1418];
	B[1579] = !B[1420];
	B[1580] = !B[1422];
	B[1581] = B[1267] & B[1419];
	B[1582] = B[1414] ^ B[1107];
	B[1583] = !B[1423];
	B[1584] = !B[1424];
	B[1585] = B[1271] & B[1427];
	B[1586] = B[969] & B[1436];
	B[1587] = !B[1432];
	B[1588] = B[1347] & B[621];
	B[1589] = !B[1434];
	B[1590] = !B[1435];
	B[1591] = !B[1430];
	B[1592] = B[972] & B[1436];
	B[1593] = !B[1431];
	B[1594] = !B[1344];
	B[1595] = !B[1440];
	B[1596] = !B[1441];
	B[1597] = !B[1405];
	B[1598] = B[1439] & B[1438];
	B[1599] = B[1437] ^ B[1434];
	B[1600] = !B[1444];
	B[1601] = B[1441] & B[1445];
	B[1602] = !B[1345];
	B[1603] = B[1296] & B[170];
	B[1604] = !B[1446];
	B[1605] = !B[1433];
	B[1606] = !B[1346];
	B[1607] = B[1453] ^ B[68];
	B[1608] = B[1454] ^ B[86];
	B[1609] = B[1455] ^ B[89];
	B[1610] = !B[1453];
	B[1611] = B[1457] ^ B[102];
	B[1612] = B[64] & B[1456];
	B[1613] = !B[1455];
	B[1614] = B[83] & B[1458];
	B[1615] = !B[1459];
	B[1616] = !B[1461];
	B[1617] = B[1308] & B[1462];
	B[1618] = !B[1460];
	B[1619] = B[94] & B[1463];
	B[1620] = B[1464] ^ B[3];
	B[1621] = B[1467] ^ B[132];
	B[1622] = B[112] & B[1466];
	B[1623] = !B[1454];
	B[1624] = B[84] & B[1468];
	B[1625] = !B[1467];
	B[1626] = !B[1469];
	B[1627] = B[143] & B[1471];
	B[1628] = !B[1472];
	B[1629] = B[1316] & B[1473];
	B[1630] = B[124] & B[1474];
	B[1631] = B[1460] ^ B[142];
	B[1632] = !B[1457];
	B[1633] = !B[1475];
	B[1634] = B[1476] ^ B[4];
	B[1635] = !B[1464];
	B[1636] = B[153] & B[1478];
	B[1637] = !B[1482];
	B[1638] = !B[1480];
	B[1639] = B[1331] & B[1481];
	B[1640] = !B[1483];
	B[1641] = B[1329] & B[1479];
	B[1642] = !B[1470];
	B[1643] = !B[1484];
	B[1644] = !B[1487];
	B[1645] = !B[1476];
	B[1646] = !B[1488];
	B[1647] = B[147] & B[1494];
	B[1648] = !B[1490];
	B[1649] = !B[1498];
	B[1650] = !B[1504];
	B[1651] = B[1504] & B[834];
	B[1652] = B[1503] & B[492];
	B[1653] = !B[1501];
	B[1654] = B[1504] & B[981];
	B[1655] = B[1502] & B[1499];
	B[1656] = B[1508] ^ B[399];
	B[1657] = B[1450] & B[1606];
	B[1658] = !B[1505];
	B[1659] = B[1505] & B[833];
	B[1660] = B[1505] & B[621];
	B[1661] = B[581] & B[1579];
	B[1662] = !B[1508];
	B[1663] = B[189] & B[1509];
	B[1664] = !B[1511];
	B[1665] = B[1510] ^ B[201];
	B[1666] = B[1353] & B[1513];
	B[1667] = !B[1514];
	B[1668] = B[1195] & B[1515];
	B[1669] = B[1518] ^ B[1048];
	B[1670] = B[7] & B[1516];
	B[1671] = B[5] & B[1517];
	B[1672] = !B[1493];
	B[1673] = !B[1497];
	B[1674] = !B[1523];
	B[1675] = B[1367] & B[1520];
	B[1676] = !B[1524];
	B[1677] = B[1202] & B[1522];
	B[1678] = !B[1519];
	B[1679] = !B[1527];
	B[1680] = B[1374] & B[1526];
	B[1681] = B[1525] ^ B[1373];
	B[1682] = B[1208] ^ B[1530];
	B[1683] = !B[1533];
	B[1684] = B[1525] & B[1531];
	B[1685] = B[1532] & B[1209];
	B[1686] = !B[1530];
	B[1687] = B[1380] & B[1534];
	B[1688] = B[1507] ^ B[1182];
	B[1689] = B[1070] & B[1536];
	B[1690] = !B[1507];
	B[1691] = !B[1538];
	B[1692] = !B[1541];
	B[1693] = B[1227] & B[1540];
	B[1694] = B[1394] & B[1544];
	B[1695] = B[272] & B[1543];
	B[1696] = !B[1545];
	B[1697] = !B[1548];
	B[1698] = B[1547] & B[1546];
	B[1699] = B[1541] ^ B[282];
	B[1700] = !B[1551];
	B[1701] = !B[1552];
	B[1702] = B[1400] ^ B[1552];
	B[1703] = !B[1553];
	B[1704] = !B[1554];
	B[1705] = B[1556] ^ B[304];
	B[1706] = !B[1559];
	B[1707] = !B[1557];
	B[1708] = B[934] & B[1555];
	B[1709] = B[449] & B[1560];
	B[1710] = !B[1561];
	B[1711] = !B[1562];
	B[1712] = !B[1564];
	B[1713] = B[1566] ^ B[1257];
	B[1714] = B[1565] & B[1254];
	B[1715] = !B[1569];
	B[1716] = B[323] & B[1573];
	B[1717] = B[293] & B[1570];
	B[1718] = !B[1574];
	B[1719] = B[1569] ^ B[1263];
	B[1720] = !B[1572];
	B[1721] = !B[1568];
	B[1722] = !B[1510];
	B[1723] = !B[1577];
	B[1724] = !B[1578];
	B[1725] = !B[1576];
	B[1726] = !B[1581];
	B[1727] = !B[1506];
	B[1728] = !B[1556];
	B[1729] = B[1582] ^ B[1572];
	B[1730] = B[1566] & B[1426];
	B[1731] = B[1504] & B[1341];
	B[1732] = B[1571] & B[1268];
	B[1733] = !B[1585];
	B[1734] = B[1502] & B[1499];
	B[1735] = B[1592] & B[1442];
	B[1736] = B[1127] & B[1590];
	B[1737] = !B[1586];
	B[1738] = B[1437] & B[1589];
	B[1739] = B[1286] & B[1587];
	B[1740] = B[1593] & B[1591];
	B[1741] = B[1247] & B[1597];
	B[1742] = B[1288] & B[1596];
	B[1743] = B[1588] & B[389];
	B[1744] = !B[1598];
	B[1745] = !B[1599];
	B[1746] = B[1603] & B[485];
	B[1747] = B[829] & B[1602];
	B[1748] = B[834] & B[1650];
	B[1749] = B[1650] & B[981];
	B[1750] = B[1607] ^ B[75];
	B[1751] = !B[1607];
	B[1752] = B[1609] ^ B[99];
	B[1753] = B[1608] ^ B[95];
	B[1754] = B[68] & B[1610];
	B[1755] = !B[1612];
	B[1756] = B[1611] ^ B[111];
	B[1757] = !B[1609];
	B[1758] = !B[1614];
	B[1759] = B[89] & B[1613];
	B[1760] = B[1465] & B[1615];
	B[1761] = B[128] & B[1618];
	B[1762] = !B[1622];
	B[1763] = B[1620] ^ B[1002];
	B[1764] = !B[1608];
	B[1765] = !B[1619];
	B[1766] = B[1621] ^ B[137];
	B[1767] = B[86] & B[1623];
	B[1768] = B[132] & B[1625];
	B[1769] = !B[1624];
	B[1770] = !B[1617];
	B[1771] = B[1631] ^ B[376];
	B[1772] = !B[1631];
	B[1773] = !B[1611];
	B[1774] = !B[1630];
	B[1775] = !B[1627];
	B[1776] = !B[1620];
	B[1777] = B[102] & B[1632];
	B[1778] = B[1634] ^ B[1013];
	B[1779] = B[3] & B[1635];
	B[1780] = !B[1636];
	B[1781] = !B[1621];
	B[1782] = !B[1629];
	B[1783] = B[1485] & B[1638];
	B[1784] = B[1637] & B[55];
	B[1785] = B[1491] & B[1644];
	B[1786] = !B[1641];
	B[1787] = B[1489] & B[1643];
	B[1788] = !B[1634];
	B[1789] = B[4] & B[1645];
	B[1790] = !B[1647];
	B[1791] = !B[1639];
	B[1792] = B[1023] & B[1650];
	B[1793] = B[1649] & B[1650];
	B[1794] = B[1651] & B[1296];
	B[1795] = !B[1652];
	B[1796] = B[1654] & B[1296];
	B[1797] = B[1654] & B[1133];
	B[1798] = !B[1659];
	B[1799] = B[399] & B[1662];
	B[1800] = !B[1663];
	B[1801] = B[1512] & B[1664];
	B[1802] = B[1665] ^ B[210];
	B[1803] = !B[1668];
	B[1804] = !B[1671];
	B[1805] = !B[1670];
	B[1806] = B[1669] ^ B[1364];
	B[1807] = !B[1677];
	B[1808] = B[1528] & B[1678];
	B[1809] = !B[1680];
	B[1810] = !B[1681];
	B[1811] = B[1681] ^ B[1680];
	B[1812] = B[1682] ^ B[646];
	B[1813] = !B[1685];
	B[1814] = !B[1684];
	B[1815] = B[1682] & B[762];
	B[1816] = B[1376] & B[1686];
	B[1817] = B[1687] ^ B[1383];
	B[1818] = !B[1687];
	B[1819] = B[1223] ^ B[1689];
	B[1820] = B[1224] & B[1688];
	B[1821] = B[1690] & B[1385];
	B[1822] = B[1542] & B[1691];
	B[1823] = B[1654] & B[1133];
	B[1824] = B[1224] ^ B[1688];
	B[1825] = B[1539] & B[1651];
	B[1826] = B[282] & B[1692];
	B[1827] = !B[1693];
	B[1828] = B[1548] ^ B[1694];
	B[1829] = !B[1694];
	B[1830] = B[1549] & B[1696];
	B[1831] = !B[1695];
	B[1832] = !B[1699];
	B[1833] = B[1699] ^ B[1243];
	B[1834] = B[1406] & B[1700];
	B[1835] = B[1558] & B[1701];
	B[1836] = B[1563] & B[1706];
	B[1837] = B[1705] ^ B[1248];
	B[1838] = B[942] ^ B[1708];
	B[1839] = !B[1709];
	B[1840] = B[6] & B[1710];
	B[1841] = !B[1714];
	B[1842] = !B[1675];
	B[1843] = B[1567] & B[1712];
	B[1844] = B[1713] ^ B[1568];
	B[1845] = B[1715] & B[1421];
	B[1846] = B[1669] & B[1575];
	B[1847] = !B[1665];
	B[1848] = !B[1713];
	B[1849] = B[1580] & B[1718];
	B[1850] = B[1719] ^ B[1581];
	B[1851] = B[1582] & B[1720];
	B[1852] = !B[1716];
	B[1853] = !B[1717];
	B[1854] = !B[1689];
	B[1855] = !B[1705];
	B[1856] = B[1656] ^ B[1657];
	B[1857] = B[201] & B[1722];
	B[1858] = B[1661] ^ B[1506];
	B[1859] = B[1583] & B[1725];
	B[1860] = B[1584] & B[1724];
	B[1861] = !B[1661];
	B[1862] = B[304] & B[1728];
	B[1863] = B[1719] & B[1726];
	B[1864] = !B[1729];
	B[1865] = B[1582] & B[1720];
	B[1866] = !B[1730];
	B[1867] = !B[1732];
	B[1868] = !B[1731];
	B[1869] = !B[1666];
	B[1870] = B[1736] & B[1443];
	B[1871] = !B[1735];
	B[1872] = !B[1739];
	B[1873] = B[1737] & B[1595];
	B[1874] = B[1740] & B[1599];
	B[1875] = !B[1738];
	B[1876] = !B[1736];
	B[1877] = !B[1741];
	B[1878] = B[828] & B[1660];
	B[1879] = !B[1740];
	B[1880] = !B[1742];
	B[1881] = B[1660] & B[833];
	B[1882] = B[1360] ^ B[1668];
	B[1883] = B[1654] & B[22];
	B[1884] = B[1739] & B[1444];
	B[1885] = B[1292] & B[1746];
	B[1886] = !B[1747];
	B[1887] = !B[1708];
	B[1888] = !B[1657];
	B[1889] = !B[1656];
	B[1890] = !B[1838];
	B[1891] = B[1889] & B[1888];
	B[1892] = B[1529] & B[1807];
	B[1893] = !B[1750];
	B[1894] = B[75] & B[1751];
	B[1895] = B[1753] ^ B[2];
	B[1896] = B[1752] ^ B[101];
	B[1897] = !B[1754];
	B[1898] = B[1756] ^ B[121];
	B[1899] = B[99] & B[1757];
	B[1900] = !B[1759];
	B[1901] = B[1616] & B[1758];
	B[1902] = !B[1752];
	B[1903] = !B[1761];
	B[1904] = B[1626] & B[1765];
	B[1905] = !B[1753];
	B[1906] = B[1763] ^ B[1317];
	B[1907] = B[1750] ^ B[88];
	B[1908] = B[95] & B[1764];
	B[1909] = B[1766] ^ B[375];
	B[1910] = !B[1767];
	B[1911] = !B[1768];
	B[1912] = B[1628] & B[1769];
	B[1913] = B[1633] & B[1775];
	B[1914] = B[376] & B[1772];
	B[1915] = !B[1756];
	B[1916] = !B[1771];
	B[1917] = B[111] & B[1773];
	B[1918] = !B[1760];
	B[1919] = B[1778] ^ B[1326];
	B[1920] = !B[1766];
	B[1921] = B[1776] & B[1167];
	B[1922] = !B[1777];
	B[1923] = B[1763] & B[1486];
	B[1924] = !B[1779];
	B[1925] = B[1640] & B[1780];
	B[1926] = B[137] & B[1781];
	B[1927] = !B[1784];
	B[1928] = !B[1783];
	B[1929] = B[1493] ^ B[1785];
	B[1930] = !B[1787];
	B[1931] = B[1778] & B[1495];
	B[1932] = B[1788] & B[1176];
	B[1933] = !B[1789];
	B[1934] = B[1133] & B[1748];
	B[1935] = !B[1794];
	B[1936] = B[1795] & B[1653];
	B[1937] = B[1749] & B[1296];
	B[1938] = B[1798] & B[621];
	B[1939] = B[1748] & B[1296];
	B[1940] = B[832] & B[1798];
	B[1941] = B[1133] & B[1749];
	B[1942] = B[1748] & B[1296];
	B[1943] = !B[1799];
	B[1944] = B[1802] ^ B[1801];
	B[1945] = !B[1802];
	B[1946] = !B[1801];
	B[1947] = !B[1785];
	B[1948] = B[1521] & B[1803];
	B[1949] = B[1806] ^ B[1675];
	B[1950] = B[1805] & B[1676];
	B[1951] = B[1674] & B[1804];
	B[1952] = !B[1808];
	B[1953] = B[1810] & B[1809];
	B[1954] = !B[1812];
	B[1955] = B[1813] & B[1814];
	B[1956] = !B[1816];
	B[1957] = !B[1815];
	B[1958] = B[1535] ^ B[1817];
	B[1959] = B[1818] & B[1537];
	B[1960] = B[1535] & B[1817];
	B[1961] = !B[1821];
	B[1962] = !B[1820];
	B[1963] = B[1824] ^ B[1822];
	B[1964] = B[1550] & B[1827];
	B[1965] = !B[1822];
	B[1966] = !B[1826];
	B[1967] = !B[1830];
	B[1968] = B[1697] & B[1829];
	B[1969] = B[1832] & B[1407];
	B[1970] = B[1833] & B[1703];
	B[1971] = !B[1834];
	B[1972] = B[1859] ^ B[1585];
	B[1973] = B[1833] ^ B[1553];
	B[1974] = !B[1835];
	B[1975] = !B[1836];
	B[1976] = !B[1840];
	B[1977] = !B[1806];
	B[1978] = B[1844] ^ B[1843];
	B[1979] = !B[1846];
	B[1980] = !B[1845];
	B[1981] = B[1723] & B[1853];
	B[1982] = B[210] & B[1847];
	B[1983] = !B[1849];
	B[1984] = !B[1843];
	B[1985] = B[1848] & B[1721];
	B[1986] = !B[1850];
	B[1987] = B[1223] & B[1854];
	B[1988] = B[1856] ^ B[965];
	B[1989] = B[1861] & B[1727];
	B[1990] = !B[1857];
	B[1991] = B[1428] & B[1858];
	B[1992] = !B[1819];
	B[1993] = !B[1860];
	B[1994] = B[1729] ^ B[1860];
	B[1995] = B[1855] & B[1429];
	B[1996] = !B[1859];
	B[1997] = !B[1865];
	B[1998] = !B[1863];
	B[1999] = !B[1862];
	B[2000] = B[1734] & B[1868];
	B[2001] = B[1428] ^ B[1858];
	B[2002] = !B[1874];
	B[2003] = !B[1870];
	B[2004] = B[1873] & B[1871];
	B[2005] = B[1744] & B[1875];
	B[2006] = B[1600] & B[1872];
	B[2007] = B[1745] & B[1879];
	B[2008] = B[1287] & B[1876];
	B[2009] = !B[1878];
	B[2010] = !B[1881];
	B[2011] = !B[1883];
	B[2012] = !B[1884];
	B[2013] = B[1748] & B[1133];
	B[2014] = B[1798] & B[621];
	B[2015] = B[1856] & B[1131];
	B[2016] = B[942] & B[1887];
	B[2017] = !B[1885];
	B[2018] = B[1655] & B[1936];
	B[2019] = B[2017] & B[492];
	B[2020] = B[88] & B[1893];
	B[2021] = !B[1894];
	B[2022] = !B[1896];
	B[2023] = B[1895] ^ B[990];
	B[2024] = B[1755] & B[1897];
	B[2025] = !B[1899];
	B[2026] = B[1898] ^ B[1147];
	B[2027] = B[101] & B[1902];
	B[2028] = B[1762] & B[1903];
	B[2029] = !B[1895];
	B[2030] = !B[1908];
	B[2031] = B[1909] ^ B[1904];
	B[2032] = B[2] & B[1905];
	B[2033] = B[1907] ^ B[151];
	B[2034] = B[1906] ^ B[1629];
	B[2035] = B[1774] & B[1911];
	B[2036] = !B[1901];
	B[2037] = !B[1898];
	B[2038] = !B[1913];
	B[2039] = !B[1917];
	B[2040] = !B[1907];
	B[2041] = B[121] & B[1915];
	B[2042] = !B[1906];
	B[2043] = !B[1921];
	B[2044] = B[375] & B[1920];
	B[2045] = !B[1909];
	B[2046] = !B[1912];
	B[2047] = B[1919] ^ B[1639];
	B[2048] = !B[1904];
	B[2049] = !B[1923];
	B[2050] = !B[1926];
	B[2051] = B[384] & B[1927];
	B[2052] = B[1929] ^ B[614];
	B[2053] = !B[1919];
	B[2054] = !B[1925];
	B[2055] = !B[1932];
	B[2056] = !B[1931];
	B[2057] = B[1790] & B[1933];
	B[2058] = B[1831] & B[1966];
	B[2059] = !B[1940];
	B[2060] = B[2012] & B[2002];
	B[2061] = B[1800] & B[1943];
	B[2062] = B[1771] ^ B[1913];
	B[2063] = B[1944] ^ B[1189];
	B[2064] = B[1944] & B[1354];
	B[2065] = B[1945] & B[1946];
	B[2066] = !B[1914];
	B[2067] = B[1672] & B[1947];
	B[2068] = B[1929] & B[756];
	B[2069] = !B[1948];
	B[2070] = !B[1950];
	B[2071] = B[1949] ^ B[1951];
	B[2072] = B[1952] ^ B[1210];
	B[2073] = !B[1892];
	B[2074] = !B[1953];
	B[2075] = B[1952] & B[1377];
	B[2076] = B[1956] & B[1957];
	B[2077] = !B[1955];
	B[2078] = !B[1960];
	B[2079] = !B[1959];
	B[2080] = B[1961] & B[1962];
	B[2081] = !B[1963];
	B[2082] = !B[1964];
	B[2083] = B[1824] & B[1965];
	B[2084] = !B[1968];
	B[2085] = B[1704] & B[1967];
	B[2086] = B[1702] ^ B[1964];
	B[2087] = !B[1969];
	B[2088] = !B[1970];
	B[2089] = B[1971] ^ B[1711];
	B[2090] = !B[1973];
	B[2091] = B[1837] ^ B[1972];
	B[2092] = B[1967] ^ B[1704];
	B[2093] = B[1977] & B[1842];
	B[2094] = !B[1951];
	B[2095] = B[1976] & B[1841];
	B[2096] = !B[1978];
	B[2097] = B[1852] & B[1980];
	B[2098] = B[1986] & B[1983];
	B[2099] = !B[1981];
	B[2100] = !B[1982];
	B[2101] = B[1892] & B[1134];
	B[2102] = !B[1985];
	B[2103] = B[1844] & B[1984];
	B[2104] = B[1811] ^ B[1950];
	B[2105] = B[1864] & B[1993];
	B[2106] = B[1987] & B[1890];
	B[2107] = !B[1989];
	B[2108] = !B[1991];
	B[2109] = !B[1995];
	B[2110] = B[1890] & B[1992];
	B[2111] = !B[1988];
	B[2112] = B[1837] & B[1972];
	B[2113] = B[1996] & B[1733];
	B[2114] = B[1867] & B[1997];
	B[2115] = !B[2016];
	B[2116] = B[1711] & B[1971];
	B[2117] = !B[2000];
	B[2118] = B[1983] ^ B[1986];
	B[2119] = !B[2001];
	B[2120] = !B[2005];
	B[2121] = B[2006] & B[2002];
	B[2122] = B[1601] & B[2003];
	B[2123] = !B[2004];
	B[2124] = B[1880] & B[2003];
	B[2125] = !B[2007];
	B[2126] = !B[2008];
	B[2127] = B[1604] & B[2009];
	B[2128] = !B[1891];
	B[2129] = !B[2015];
	B[2130] = !B[1987];
	B[2131] = B[2010] & B[1447];
	B[2132] = !B[2019];
	B[2133] = B[2018] & B[1341];
	B[2134] = B[2018] & B[1135];
	B[2135] = !B[2020];
	B[2136] = B[2023] ^ B[1307];
	B[2137] = B[2026] ^ B[1760];
	B[2138] = B[1900] & B[2025];
	B[2139] = !B[2024];
	B[2140] = !B[2027];
	B[2141] = B[2029] & B[1157];
	B[2142] = B[2023] & B[1477];
	B[2143] = B[2033] ^ B[154];
	B[2144] = !B[2032];
	B[2145] = B[2031] ^ B[863];
	B[2146] = B[2034] ^ B[1912];
	B[2147] = B[1910] & B[2030];
	B[2148] = !B[2028];
	B[2149] = B[2037] & B[1332];
	B[2150] = !B[2033];
	B[2151] = !B[2041];
	B[2152] = B[2042] & B[1782];
	B[2153] = B[1922] & B[2039];
	B[2154] = !B[2035];
	B[2155] = B[151] & B[2040];
	B[2156] = B[2026] & B[1918];
	B[2157] = B[2034] & B[2046];
	B[2158] = B[2045] & B[2048];
	B[2159] = B[2031] & B[1017];
	B[2160] = !B[2044];
	B[2161] = B[1924] & B[2043];
	B[2162] = B[2047] ^ B[1925];
	B[2163] = !B[2051];
	B[2164] = B[2052] ^ B[1175];
	B[2165] = B[2047] & B[2054];
	B[2166] = B[2053] & B[1791];
	B[2167] = B[2055] & B[2056];
	B[2168] = B[2019] & B[1023];
	B[2169] = B[1990] & B[2100];
	B[2170] = B[1866] & B[2102];
	B[2171] = B[1749] & B[2018];
	B[2172] = !B[2061];
	B[2173] = B[2062] ^ B[1666];
	B[2174] = !B[2063];
	B[2175] = !B[2065];
	B[2176] = !B[2064];
	B[2177] = B[1916] & B[2038];
	B[2178] = !B[2052];
	B[2179] = !B[2057];
	B[2180] = !B[2068];
	B[2181] = !B[2067];
	B[2182] = B[1679] & B[2069];
	B[2183] = B[1811] & B[2070];
	B[2184] = !B[2072];
	B[2185] = B[2073] ^ B[1375];
	B[2186] = B[2072] ^ B[1954];
	B[2187] = B[1375] & B[2073];
	B[2188] = !B[2075];
	B[2189] = B[1958] ^ B[2076];
	B[2190] = B[1133] ^ B[2051];
	B[2191] = B[2051] & B[492];
	B[2192] = B[1825] & B[2018];
	B[2193] = B[2079] & B[2078];
	B[2194] = !B[2076];
	B[2195] = !B[2080];
	B[2196] = !B[2058];
	B[2197] = B[1025] ^ B[2058];
	B[2198] = B[1702] & B[2082];
	B[2199] = !B[2083];
	B[2200] = B[1828] ^ B[2080];
	B[2201] = !B[2085];
	B[2202] = !B[2086];
	B[2203] = B[2087] & B[2088];
	B[2204] = B[1975] ^ B[2090];
	B[2205] = !B[2071];
	B[2206] = !B[2093];
	B[2207] = B[1949] & B[2094];
	B[2208] = B[1975] & B[2090];
	B[2209] = !B[2095];
	B[2210] = !B[2097];
	B[2211] = !B[2103];
	B[2212] = B[2099] ^ B[1433];
	B[2213] = !B[2101];
	B[2214] = !B[2098];
	B[2215] = !B[2113];
	B[2216] = !B[2106];
	B[2217] = !B[2105];
	B[2218] = B[2107] & B[2108];
	B[2219] = B[1994] ^ B[2097];
	B[2220] = !B[2112];
	B[2221] = B[1999] & B[2109];
	B[2222] = B[2062] & B[1869];
	B[2223] = !B[2116];
	B[2224] = !B[2118];
	B[2225] = B[2005] & B[2119];
	B[2226] = B[2124] & B[2123];
	B[2227] = !B[2121];
	B[2228] = B[2001] & B[2120];
	B[2229] = !B[2122];
	B[2230] = B[2128] & B[2129];
	B[2231] = B[2099] & B[1605];
	B[2232] = !B[2104];
	B[2233] = !B[2131];
	B[2234] = !B[2231];
	B[2235] = B[1651] & B[2134];
	B[2236] = B[2021] & B[2135];
	B[2237] = B[2136] ^ B[1617];
	B[2238] = !B[2138];
	B[2239] = B[2137] ^ B[1470];
	B[2240] = !B[2136];
	B[2241] = !B[2141];
	B[2242] = B[2145] ^ B[1328];
	B[2243] = !B[2142];
	B[2244] = B[2146] ^ B[2147];
	B[2245] = B[2143] ^ B[2035];
	B[2246] = !B[2137];
	B[2247] = !B[2149];
	B[2248] = !B[2147];
	B[2249] = !B[2143];
	B[2250] = !B[2146];
	B[2251] = B[154] & B[2150];
	B[2252] = !B[2145];
	B[2253] = !B[2152];
	B[2254] = !B[2156];
	B[2255] = !B[2155];
	B[2256] = !B[2159];
	B[2257] = !B[2158];
	B[2258] = B[2050] & B[2160];
	B[2259] = !B[2157];
	B[2260] = B[2162] ^ B[2161];
	B[2261] = !B[2153];
	B[2262] = B[1133] & B[2163];
	B[2263] = B[2164] ^ B[1497];
	B[2264] = !B[2162];
	B[2265] = !B[2161];
	B[2266] = !B[2166];
	B[2267] = !B[2165];
	B[2268] = !B[2168];
	B[2269] = !B[2134];
	B[2270] = B[2134] & B[1296];
	B[2271] = B[2104] ^ B[2170];
	B[2272] = B[2134] & B[1748];
	B[2273] = B[2133] & B[1749];
	B[2274] = B[2133] & B[1748];
	B[2275] = B[2134] & B[1749];
	B[2276] = B[1654] & B[2134];
	B[2277] = B[2172] ^ B[1514];
	B[2278] = !B[2173];
	B[2279] = B[2172] & B[1667];
	B[2280] = B[2169] ^ B[1344];
	B[2281] = B[2175] & B[2176];
	B[2282] = !B[2177];
	B[2283] = !B[2167];
	B[2284] = B[2164] & B[1673];
	B[2285] = B[2178] & B[1372];
	B[2286] = B[2181] & B[2180];
	B[2287] = !B[2182];
	B[2288] = !B[2183];
	B[2289] = B[2184] & B[1954];
	B[2290] = !B[2187];
	B[2291] = !B[2186];
	B[2292] = B[2186] ^ B[1955];
	B[2293] = B[1934] & B[2133];
	B[2294] = !B[2189];
	B[2295] = B[1794] & B[2134];
	B[2296] = B[2190] & B[2132];
	B[2297] = B[1823] & B[2134];
	B[2298] = B[2132] & B[981];
	B[2299] = !B[2191];
	B[2300] = !B[2193];
	B[2301] = B[1958] & B[2194];
	B[2302] = B[1828] & B[2195];
	B[2303] = B[1133] & B[2134];
	B[2304] = B[1252] & B[2196];
	B[2305] = B[1707] & B[2197];
	B[2306] = !B[2198];
	B[2307] = B[1839] & B[2201];
	B[2308] = !B[2200];
	B[2309] = !B[2203];
	B[2310] = B[1707] ^ B[2197];
	B[2311] = B[2204] & B[1571];
	B[2312] = !B[2207];
	B[2313] = B[1942] & B[2133];
	B[2314] = B[1851] & B[2204];
	B[2315] = B[2209] ^ B[2096];
	B[2316] = B[1979] & B[2206];
	B[2317] = !B[2208];
	B[2318] = B[2209] & B[2096];
	B[2319] = B[1994] & B[2210];
	B[2320] = B[2110] & B[2213];
	B[2321] = B[1998] & B[2214];
	B[2322] = !B[2169];
	B[2323] = B[2212] ^ B[2111];
	B[2324] = B[2215] & B[2220];
	B[2325] = B[2204] ^ B[2114];
	B[2326] = B[2216] & B[2115];
	B[2327] = !B[2218];
	B[2328] = !B[2219];
	B[2329] = !B[2222];
	B[2330] = B[2133] & B[1937];
	B[2331] = B[2218] & B[2224];
	B[2332] = B[1877] & B[2223];
	B[2333] = !B[2221];
	B[2334] = B[1992] & B[2213];
	B[2335] = !B[2225];
	B[2336] = !B[2212];
	B[2337] = B[2229] & B[2126];
	B[2338] = !B[2226];
	B[2339] = !B[2228];
	B[2340] = B[2227] & B[2125];
	B[2341] = !B[2230];
	B[2342] = !B[2185];
	B[2343] = !B[2170];
	B[2344] = !B[2236];
	B[2345] = B[2237] ^ B[1901];
	B[2346] = B[2239] ^ B[2028];
	B[2347] = B[2240] & B[1770];
	B[2348] = B[2237] & B[2036];
	B[2349] = B[2144] & B[2241];
	B[2350] = B[2239] & B[2148];
	B[2351] = B[2246] & B[1642];
	B[2352] = B[2242] ^ B[1641];
	B[2353] = B[2245] ^ B[1171];
	B[2354] = B[2250] & B[2248];
	B[2355] = B[2151] & B[2247];
	B[2356] = B[2249] & B[2154];
	B[2357] = B[2245] & B[1338];
	B[2358] = !B[2251];
	B[2359] = B[2252] & B[1492];
	B[2360] = B[2242] & B[1786];
	B[2361] = B[2049] & B[2253];
	B[2362] = B[2257] & B[2256];
	B[2363] = !B[2258];
	B[2364] = B[2262] & B[1496];
	B[2365] = B[2263] ^ B[2057];
	B[2366] = B[2264] & B[2265];
	B[2367] = B[2266] & B[2267];
	B[2368] = B[2262] ^ B[1342];
	B[2369] = B[1654] & B[2270];
	B[2370] = B[2232] & B[2343];
	B[2371] = B[1882] ^ B[2332];
	B[2372] = !B[2277];
	B[2373] = B[1040] ^ B[2278];
	B[2374] = !B[2279];
	B[2375] = !B[2281];
	B[2376] = B[2066] & B[2282];
	B[2377] = !B[2263];
	B[2378] = B[2264] & B[2265];
	B[2379] = !B[2285];
	B[2380] = !B[2284];
	B[2381] = B[2071] ^ B[2286];
	B[2382] = B[2287] & B[1683];
	B[2383] = B[2074] & B[2288];
	B[2384] = !B[2289];
	B[2385] = B[2291] & B[2077];
	B[2386] = B[2276] & B[1296];
	B[2387] = !B[2296];
	B[2388] = !B[2298];
	B[2389] = !B[2301];
	B[2390] = B[2300] & B[2081];
	B[2391] = B[2300] ^ B[2081];
	B[2392] = !B[2302];
	B[2393] = B[1974] & B[2306];
	B[2394] = B[2303] & B[1749];
	B[2395] = !B[2305];
	B[2396] = !B[2304];
	B[2397] = B[1748] & B[2270];
	B[2398] = B[2310] ^ B[2092];
	B[2399] = B[2303] & B[1748];
	B[2400] = B[2091] ^ B[2307];
	B[2401] = B[2310] & B[2092];
	B[2402] = B[2235] & B[1133];
	B[2403] = !B[2286];
	B[2404] = B[2311] & B[1268];
	B[2405] = !B[2314];
	B[2406] = B[2315] ^ B[2316];
	B[2407] = !B[2307];
	B[2408] = !B[2316];
	B[2409] = !B[2318];
	B[2410] = !B[2319];
	B[2411] = B[2278] & B[1040];
	B[2412] = B[2322] & B[1594];
	B[2413] = B[2323] ^ B[2221];
	B[2414] = !B[2320];
	B[2415] = B[2321] & B[2219];
	B[2416] = B[2118] & B[2327];
	B[2417] = !B[2321];
	B[2418] = !B[2325];
	B[2419] = !B[2324];
	B[2420] = !B[2323];
	B[2421] = B[2287] ^ B[1683];
	B[2422] = !B[2331];
	B[2423] = B[2063] ^ B[2277];
	B[2424] = !B[2334];
	B[2425] = !B[2332];
	B[2426] = B[2336] & B[2111];
	B[2427] = B[2337] & B[2338];
	B[2428] = B[2340] & B[2339];
	B[2429] = !B[2426];
	B[2430] = !B[2421];
	B[2431] = B[2344] ^ B[2022];
	B[2432] = B[2344] & B[2022];
	B[2433] = !B[2345];
	B[2434] = !B[2346];
	B[2435] = !B[2347];
	B[2436] = B[2244] ^ B[2349];
	B[2437] = !B[2348];
	B[2438] = !B[2350];
	B[2439] = B[2352] ^ B[2153];
	B[2440] = B[2353] ^ B[1490];
	B[2441] = !B[2351];
	B[2442] = !B[2354];
	B[2443] = !B[2355];
	B[2444] = !B[2352];
	B[2445] = !B[2357];
	B[2446] = !B[2356];
	B[2447] = !B[2349];
	B[2448] = B[2255] & B[2358];
	B[2449] = !B[2359];
	B[2450] = !B[2360];
	B[2451] = B[2260] ^ B[2361];
	B[2452] = !B[2353];
	B[2453] = !B[2362];
	B[2454] = !B[2361];
	B[2455] = !B[2364];
	B[2456] = B[2365] ^ B[2167];
	B[2457] = !B[2366];
	B[2458] = B[2368] & B[2132];
	B[2459] = !B[2406];
	B[2460] = !B[2397];
	B[2461] = !B[2370];
	B[2462] = B[2423] ^ B[2230];
	B[2463] = B[2130] & B[2424];
	B[2464] = !B[2427];
	B[2465] = B[1882] & B[2425];
	B[2466] = B[2372] & B[2174];
	B[2467] = B[2373] ^ B[2280];
	B[2468] = !B[2367];
	B[2469] = B[2365] & B[2283];
	B[2470] = B[2346] ^ B[2376];
	B[2471] = B[2377] & B[2179];
	B[2472] = B[2379] & B[2380];
	B[2473] = B[2382] & B[2185];
	B[2474] = !B[2383];
	B[2475] = B[2188] & B[2384];
	B[2476] = !B[2385];
	B[2477] = B[2292] ^ B[2383];
	B[2478] = B[2299] & B[2387];
	B[2479] = B[1698] & B[2388];
	B[2480] = !B[2390];
	B[2481] = B[2084] & B[2392];
	B[2482] = B[2089] ^ B[2393];
	B[2483] = B[2396] & B[2395];
	B[2484] = !B[2400];
	B[2485] = B[2398] & B[2309];
	B[2486] = !B[2393];
	B[2487] = B[2205] & B[2403];
	B[2488] = !B[2401];
	B[2489] = !B[2404];
	B[2490] = B[2309] ^ B[2398];
	B[2491] = B[2211] & B[2409];
	B[2492] = B[2091] & B[2407];
	B[2493] = B[2315] & B[2408];
	B[2494] = B[2373] & B[2280];
	B[2495] = B[2217] & B[2410];
	B[2496] = !B[2412];
	B[2497] = B[2413] ^ B[2324];
	B[2498] = !B[2411];
	B[2499] = B[2326] & B[2414];
	B[2500] = !B[2415];
	B[2501] = B[2328] & B[2417];
	B[2502] = !B[2371];
	B[2503] = B[2422] & B[2335];
	B[2504] = B[2420] & B[2333];
	B[2505] = B[2413] & B[2419];
	B[2506] = B[2423] & B[2341];
	B[2507] = !B[2382];
	B[2508] = !B[2463];
	B[2509] = B[2234] & B[2429];
	B[2510] = B[2234] & B[2429];
	B[2511] = B[2431] ^ B[2024];
	B[2512] = !B[2432];
	B[2513] = B[2431] & B[2139];
	B[2514] = B[2238] ^ B[2433];
	B[2515] = B[2434] & B[1916];
	B[2516] = B[2433] & B[2238];
	B[2517] = B[1914] & B[2434];
	B[2518] = B[2243] & B[2435];
	B[2519] = !B[2436];
	B[2520] = B[2440] ^ B[1787];
	B[2521] = B[2439] ^ B[2355];
	B[2522] = B[2254] & B[2441];
	B[2523] = B[2439] & B[2443];
	B[2524] = B[2259] & B[2442];
	B[2525] = B[2244] & B[2447];
	B[2526] = B[2444] & B[2261];
	B[2527] = B[2446] & B[2445];
	B[2528] = B[2449] & B[2450];
	B[2529] = !B[2448];
	B[2530] = B[2440] & B[1930];
	B[2531] = !B[2451];
	B[2532] = B[2452] & B[1648];
	B[2533] = B[2260] & B[2454];
	B[2534] = B[2455] & B[1649];
	B[2535] = B[2456] ^ B[2367];
	B[2536] = B[1793] & B[2455];
	B[2537] = !B[2458];
	B[2538] = !B[2465];
	B[2539] = B[2271] ^ B[2491];
	B[2540] = !B[2491];
	B[2541] = B[2290] & B[2507];
	B[2542] = B[2467] ^ B[2281];
	B[2543] = !B[2462];
	B[2544] = !B[2506];
	B[2545] = !B[2466];
	B[2546] = B[2260] & B[2454];
	B[2547] = B[2467] & B[2375];
	B[2548] = !B[2456];
	B[2549] = !B[2469];
	B[2550] = !B[2471];
	B[2551] = B[2381] ^ B[2472];
	B[2552] = !B[2472];
	B[2553] = !B[2473];
	B[2554] = B[2292] & B[2474];
	B[2555] = !B[2475];
	B[2556] = !B[2478];
	B[2557] = B[2199] & B[2480];
	B[2558] = !B[2481];
	B[2559] = !B[2483];
	B[2560] = !B[2482];
	B[2561] = !B[2485];
	B[2562] = B[2089] & B[2486];
	B[2563] = !B[2487];
	B[2564] = B[2489] & B[2317];
	B[2565] = !B[2493];
	B[2566] = !B[2490];
	B[2567] = !B[2492];
	B[2568] = !B[2494];
	B[2569] = B[2495] & B[2325];
	B[2570] = !B[2495];
	B[2571] = B[2416] & B[2500];
	B[2572] = !B[2499];
	B[2573] = B[2329] & B[2498];
	B[2574] = !B[2497];
	B[2575] = !B[2501];
	B[2576] = B[2132] & B[2460];
	B[2577] = B[2060] & B[2464];
	B[2578] = B[2460] & B[2132];
	B[2579] = !B[2505];
	B[2580] = !B[2477];
	B[2581] = !B[2504];
	B[2582] = B[2503] & B[2500];
	B[2583] = B[1890] & B[2508];
	B[2584] = B[2521] ^ B[2522];
	B[2585] = !B[2511];
	B[2586] = !B[2513];
	B[2587] = B[2140] & B[2512];
	B[2588] = !B[2516];
	B[2589] = !B[2517];
	B[2590] = B[2515] & B[2038];
	B[2591] = B[2436] ^ B[2518];
	B[2592] = !B[2518];
	B[2593] = !B[2521];
	B[2594] = B[2520] ^ B[2258];
	B[2595] = !B[2522];
	B[2596] = !B[2527];
	B[2597] = !B[2525];
	B[2598] = !B[2523];
	B[2599] = B[2451] ^ B[2524];
	B[2600] = !B[2526];
	B[2601] = !B[2520];
	B[2602] = !B[2524];
	B[2603] = !B[2532];
	B[2604] = !B[2530];
	B[2605] = !B[2528];
	B[2606] = !B[2533];
	B[2607] = !B[2534];
	B[2608] = !B[2536];
	B[2609] = !B[2510];
	B[2610] = B[2541] & B[2130];
	B[2611] = B[2374] & B[2545];
	B[2612] = !B[2542];
	B[2613] = B[2546] & B[2535];
	B[2614] = B[2548] & B[2468];
	B[2615] = !B[2547];
	B[2616] = B[2378] & B[2535];
	B[2617] = B[2549] & B[2550];
	B[2618] = !B[2551];
	B[2619] = B[2381] & B[2552];
	B[2620] = B[2553] & B[2290];
	B[2621] = !B[2554];
	B[2622] = B[2555] ^ B[2294];
	B[2623] = B[2294] & B[2555];
	B[2624] = B[2479] & B[2556];
	B[2625] = !B[2557];
	B[2626] = B[2558] ^ B[2202];
	B[2627] = B[2559] ^ B[2484];
	B[2628] = B[2560] & B[2558];
	B[2629] = B[2488] & B[2561];
	B[2630] = !B[2562];
	B[2631] = B[2312] & B[2563];
	B[2632] = B[2564] & B[2405];
	B[2633] = B[2484] & B[2559];
	B[2634] = !B[2539];
	B[2635] = B[2202] & B[2558];
	B[2636] = B[2496] & B[2568];
	B[2637] = !B[2569];
	B[2638] = B[2312] & B[2563];
	B[2639] = B[2371] & B[2538];
	B[2640] = !B[2573];
	B[2641] = B[2581] & B[2579];
	B[2642] = B[2572] & B[1452];
	B[2643] = B[2406] & B[2565];
	B[2644] = !B[2571];
	B[2645] = B[2570] & B[2418];
	B[2646] = B[2509] & B[2462];
	B[2647] = !B[2576];
	B[2648] = !B[2578];
	B[2649] = !B[2577];
	B[2650] = B[2271] & B[2540];
	B[2651] = !B[2583];
	B[2652] = !B[2641];
	B[2653] = B[2625] ^ B[2308];
	B[2654] = B[1155] & B[2585];
	B[2655] = B[2514] ^ B[2587];
	B[2656] = !B[2587];
	B[2657] = B[1155] ^ B[2585];
	B[2658] = B[2437] & B[2588];
	B[2659] = !B[2590];
	B[2660] = B[2438] & B[2589];
	B[2661] = B[2519] & B[2592];
	B[2662] = B[2594] ^ B[2362];
	B[2663] = B[2593] & B[2595];
	B[2664] = B[2599] & B[2244];
	B[2665] = B[2600] & B[2598];
	B[2666] = B[2601] & B[2363];
	B[2667] = B[2531] & B[2602];
	B[2668] = B[2599] & B[2519];
	B[2669] = B[2594] & B[2453];
	B[2670] = B[2603] & B[2604];
	B[2671] = B[2457] & B[2606];
	B[2672] = B[2607] ^ B[1792];
	B[2673] = B[870] & B[2608];
	B[2674] = B[2608] & B[2132];
	B[2675] = !B[2631];
	B[2676] = !B[2650];
	B[2677] = !B[2611];
	B[2678] = B[2543] & B[2609];
	B[2679] = B[2636] ^ B[2573];
	B[2680] = !B[2613];
	B[2681] = !B[2614];
	B[2682] = !B[2616];
	B[2683] = B[2551] ^ B[2617];
	B[2684] = B[2618] & B[2283];
	B[2685] = B[2471] & B[2618];
	B[2686] = !B[2619];
	B[2687] = B[2476] & B[2621];
	B[2688] = !B[2623];
	B[2689] = B[2308] & B[2625];
	B[2690] = B[2628] & B[2202];
	B[2691] = B[2626] & B[2560];
	B[2692] = !B[2627];
	B[2693] = !B[2629];
	B[2694] = !B[2632];
	B[2695] = B[2625] & B[2308];
	B[2696] = !B[2633];
	B[2697] = B[2632] & B[2566];
	B[2698] = B[2610] & B[2115];
	B[2699] = !B[2635];
	B[2700] = B[2634] & B[2459];
	B[2701] = B[2493] & B[2634];
	B[2702] = B[2638] & B[2565];
	B[2703] = !B[2639];
	B[2704] = B[2610] & B[2115];
	B[2705] = !B[2636];
	B[2706] = !B[2643];
	B[2707] = !B[2642];
	B[2708] = !B[2645];
	B[2709] = B[2644] & B[2575];
	B[2710] = B[2428] & B[2649];
	B[2711] = B[2438] & B[2589];
	B[2712] = !B[2646];
	B[2713] = B[2711] & B[2659];
	B[2714] = !B[2695];
	B[2715] = !B[2654];
	B[2716] = !B[2655];
	B[2717] = B[2657] ^ B[1488];
	B[2718] = B[2514] & B[2656];
	B[2719] = B[2591] ^ B[2658];
	B[2720] = B[2660] & B[2659];
	B[2721] = !B[2658];
	B[2722] = B[2657] & B[1646];
	B[2723] = !B[2661];
	B[2724] = !B[2663];
	B[2725] = B[2662] ^ B[2528];
	B[2726] = B[2664] & B[2447];
	B[2727] = !B[2667];
	B[2728] = B[2668] & B[2592];
	B[2729] = !B[2665];
	B[2730] = !B[2662];
	B[2731] = !B[2666];
	B[2732] = !B[2669];
	B[2733] = B[2535] ^ B[2671];
	B[2734] = B[2672] & B[2132];
	B[2735] = !B[2673];
	B[2736] = !B[2674];
	B[2737] = B[2709] & B[2708];
	B[2738] = B[2461] & B[2676];
	B[2739] = B[1886] & B[2707];
	B[2740] = !B[2678];
	B[2741] = !B[2670];
	B[2742] = B[2612] & B[2677];
	B[2743] = B[2470] ^ B[2679];
	B[2744] = B[2680] & B[2681];
	B[2745] = !B[2653];
	B[2746] = !B[2685];
	B[2747] = B[2684] & B[2365];
	B[2748] = B[2675] ^ B[2459];
	B[2749] = B[2622] ^ B[2687];
	B[2750] = B[2389] & B[2688];
	B[2751] = !B[2687];
	B[2752] = B[2626] & B[2653];
	B[2753] = B[2689] & B[2691];
	B[2754] = !B[2690];
	B[2755] = B[2629] & B[2692];
	B[2756] = B[2675] & B[2459];
	B[2757] = B[2627] & B[2693];
	B[2758] = B[2567] & B[2696];
	B[2759] = B[2695] & B[2626];
	B[2760] = !B[2697];
	B[2761] = B[2700] & B[2675];
	B[2762] = B[2698] & B[1886];
	B[2763] = !B[2701];
	B[2764] = !B[2702];
	B[2765] = B[2703] & B[2421];
	B[2766] = B[2542] ^ B[2677];
	B[2767] = B[2470] & B[2679];
	B[2768] = B[2705] & B[2640];
	B[2769] = B[2115] & B[2651];
	B[2770] = !B[2710];
	B[2771] = B[2740] & B[2712];
	B[2772] = !B[2768];
	B[2773] = !B[2767];
	B[2774] = !B[2737];
	B[2775] = B[2745] & B[2714];
	B[2776] = B[2586] & B[2715];
	B[2777] = !B[2718];
	B[2778] = !B[2717];
	B[2779] = !B[2719];
	B[2780] = !B[2720];
	B[2781] = B[2591] & B[2721];
	B[2782] = !B[2722];
	B[2783] = B[2597] & B[2723];
	B[2784] = B[2725] ^ B[2665];
	B[2785] = !B[2726];
	B[2786] = !B[2728];
	B[2787] = B[2731] & B[2732];
	B[2788] = B[2725] & B[2729];
	B[2789] = B[2730] & B[2605];
	B[2790] = !B[2734];
	B[2791] = B[2735] & B[1499];
	B[2792] = !B[2739];
	B[2793] = B[728] & B[2736];
	B[2794] = B[2754] & B[2630];
	B[2795] = B[2764] & B[2706];
	B[2796] = !B[2766];
	B[2797] = B[2582] & B[2770];
	B[2798] = !B[2742];
	B[2799] = !B[2733];
	B[2800] = B[2744] & B[2682];
	B[2801] = !B[2738];
	B[2802] = !B[2747];
	B[2803] = B[2686] & B[2746];
	B[2804] = !B[2749];
	B[2805] = B[2391] ^ B[2750];
	B[2806] = B[2622] & B[2751];
	B[2807] = !B[2750];
	B[2808] = B[2752] & B[2560];
	B[2809] = !B[2755];
	B[2810] = !B[2753];
	B[2811] = !B[2756];
	B[2812] = !B[2757];
	B[2813] = B[2758] & B[2497];
	B[2814] = !B[2759];
	B[2815] = !B[2758];
	B[2816] = B[2760] & B[2637];
	B[2817] = !B[2761];
	B[2818] = B[2584] ^ B[2713];
	B[2819] = !B[2769];
	B[2820] = B[2544] & B[2766];
	B[2821] = B[2544] & B[2740];
	B[2822] = B[2539] ^ B[2795];
	B[2823] = B[2820] & B[2740];
	B[2824] = !B[2818];
	B[2825] = B[2801] ^ B[2580];
	B[2826] = !B[2775];
	B[2827] = !B[2776];
	B[2828] = B[1928] ^ B[2778];
	B[2829] = B[2780] & B[2584];
	B[2830] = B[1928] & B[2778];
	B[2831] = !B[2781];
	B[2832] = B[2599] ^ B[2783];
	B[2833] = !B[2784];
	B[2834] = B[2785] & B[2727];
	B[2835] = !B[2787];
	B[2836] = !B[2789];
	B[2837] = !B[2788];
	B[2838] = B[2790] & B[2537];
	B[2839] = B[2791] & B[1502];
	B[2840] = !B[2793];
	B[2841] = B[2538] & B[2810];
	B[2842] = !B[2821];
	B[2843] = !B[2797];
	B[2844] = B[2817] & B[2763];
	B[2845] = !B[2771];
	B[2846] = B[2779] & B[2656];
	B[2847] = B[2615] & B[2798];
	B[2848] = B[2683] ^ B[2800];
	B[2849] = !B[2800];
	B[2850] = B[2803] & B[2802];
	B[2851] = B[2790] & B[2268];
	B[2852] = !B[2805];
	B[2853] = !B[2806];
	B[2854] = B[2391] & B[2807];
	B[2855] = B[2490] & B[2809];
	B[2856] = B[2794] & B[2810];
	B[2857] = B[2811] & B[2565];
	B[2858] = !B[2808];
	B[2859] = !B[2813];
	B[2860] = B[2814] & B[2699];
	B[2861] = B[2816] & B[2809];
	B[2862] = B[2815] & B[2574];
	B[2863] = B[2771] & B[2652];
	B[2864] = B[2772] & B[2773];
	B[2865] = B[2580] & B[2801];
	B[2866] = B[2861] & B[2859];
	B[2867] = !B[2864];
	B[2868] = B[2716] & B[2827];
	B[2869] = B[2828] ^ B[2448];
	B[2870] = B[2828] & B[2529];
	B[2871] = !B[2823];
	B[2872] = !B[2829];
	B[2873] = !B[2830];
	B[2874] = B[2827] ^ B[2716];
	B[2875] = !B[2832];
	B[2876] = B[2834] & B[2786];
	B[2877] = B[2836] & B[2837];
	B[2878] = B[2838] & B[1500];
	B[2879] = !B[2839];
	B[2880] = !B[2825];
	B[2881] = B[2743] ^ B[2847];
	B[2882] = B[2779] & B[2827];
	B[2883] = B[2846] & B[2514];
	B[2884] = B[2683] & B[2849];
	B[2885] = !B[2850];
	B[2886] = !B[2822];
	B[2887] = B[2748] ^ B[2850];
	B[2888] = !B[2865];
	B[2889] = B[2804] & B[2825];
	B[2890] = B[2624] & B[2851];
	B[2891] = B[2806] & B[2852];
	B[2892] = !B[2854];
	B[2893] = B[2808] & B[2852];
	B[2894] = B[2855] & B[2694];
	B[2895] = B[2841] & B[2794];
	B[2896] = !B[2857];
	B[2897] = B[2845] & B[2641];
	B[2898] = B[2737] & B[2843];
	B[2899] = !B[2862];
	B[2900] = B[2796] & B[2842];
	B[2901] = !B[2856];
	B[2902] = !B[2847];
	B[2903] = B[2867] ^ B[2818];
	B[2904] = B[2866] & B[2774];
	B[2905] = !B[2868];
	B[2906] = !B[2869];
	B[2907] = B[2872] & B[2724];
	B[2908] = B[2782] & B[2873];
	B[2909] = !B[2870];
	B[2910] = B[2733] ^ B[2876];
	B[2911] = B[2878] & B[2268];
	B[2912] = B[2879] & B[2132];
	B[2913] = !B[2898];
	B[2914] = B[2748] & B[2885];
	B[2915] = B[2743] & B[2902];
	B[2916] = B[2863] & B[2871];
	B[2917] = !B[2900];
	B[2918] = B[2882] & B[2716];
	B[2919] = !B[2877];
	B[2920] = !B[2883];
	B[2921] = !B[2876];
	B[2922] = !B[2884];
	B[2923] = B[2748] & B[2885];
	B[2924] = B[2880] & B[2477];
	B[2925] = !B[2887];
	B[2926] = B[2844] & B[2888];
	B[2927] = !B[2891];
	B[2928] = !B[2881];
	B[2929] = !B[2894];
	B[2930] = B[2896] & B[2634];
	B[2931] = B[2895] & B[2858];
	B[2932] = B[2901] & B[2502];
	B[2933] = B[2797] & B[2866];
	B[2934] = !B[2897];
	B[2935] = B[2824] & B[2867];
	B[2936] = !B[2904];
	B[2937] = B[2777] & B[2905];
	B[2938] = B[2596] & B[2906];
	B[2939] = B[2934] & B[2871];
	B[2940] = B[2596] ^ B[2906];
	B[2941] = B[2874] ^ B[2908];
	B[2942] = !B[2907];
	B[2943] = !B[2908];
	B[2944] = !B[2911];
	B[2945] = !B[2912];
	B[2946] = !B[2903];
	B[2947] = !B[2916];
	B[2948] = !B[2918];
	B[2949] = B[2910] & B[2875];
	B[2950] = B[2799] & B[2921];
	B[2951] = B[2923] & B[2886];
	B[2952] = B[2886] & B[2925];
	B[2953] = !B[2924];
	B[2954] = B[2848] & B[2922];
	B[2955] = B[2927] & B[2892];
	B[2956] = B[2910] & B[2875];
	B[2957] = B[2929] & B[2812];
	B[2958] = !B[2915];
	B[2959] = !B[2931];
	B[2960] = !B[2930];
	B[2961] = B[2784] ^ B[2907];
	B[2962] = !B[2914];
	B[2963] = !B[2935];
	B[2964] = !B[2932];
	B[2965] = !B[2933];
	B[2966] = !B[2937];
	B[2967] = !B[2938];
	B[2968] = !B[2941];
	B[2969] = B[2833] & B[2942];
	B[2970] = B[2940] ^ B[2670];
	B[2971] = B[2874] & B[2943];
	B[2972] = B[2840] & B[2944];
	B[2973] = !B[2954];
	B[2974] = B[2765] & B[2959];
	B[2975] = B[2928] & B[2946];
	B[2976] = B[2948] & B[2831];
	B[2977] = B[2940] & B[2741];
	B[2978] = B[2947] & B[2917];
	B[2979] = !B[2950];
	B[2980] = !B[2951];
	B[2981] = B[2952] & B[2889];
	B[2982] = B[2804] & B[2953];
	B[2983] = B[2890] & B[2945];
	B[2984] = !B[2955];
	B[2985] = B[2948] & B[2831];
	B[2986] = !B[2957];
	B[2987] = B[2955] & B[2895];
	B[2988] = B[2946] & B[2928];
	B[2989] = B[2964] & B[2538];
	B[2990] = B[2915] & B[2946];
	B[2991] = B[2966] & B[2779];
	B[2992] = B[2909] & B[2967];
	B[2993] = B[2988] & B[2939];
	B[2994] = !B[2970];
	B[2995] = !B[2969];
	B[2996] = !B[2971];
	B[2997] = B[2966] ^ B[2779];
	B[2998] = !B[2972];
	B[2999] = !B[2978];
	B[3000] = B[2979] & B[2922];
	B[3001] = B[2925] & B[2973];
	B[3002] = B[2981] & B[2973];
	B[3003] = B[2976] & B[2920];
	B[3004] = !B[2977];
	B[3005] = B[2926] & B[2980];
	B[3006] = !B[2983];
	B[3007] = B[2982] & B[2852];
	B[3008] = B[2981] & B[2973];
	B[3009] = B[2808] & B[2984];
	B[3010] = B[2852] & B[2973];
	B[3011] = B[2985] & B[2920];
	B[3012] = B[2852] & B[2973];
	B[3013] = B[2979] & B[2922];
	B[3014] = B[2986] & B[2859];
	B[3015] = !B[2990];
	B[3016] = B[2960] & B[2980];
	B[3017] = B[3001] & B[2886];
	B[3018] = !B[2991];
	B[3019] = !B[2992];
	B[3020] = B[2961] & B[2993];
	B[3021] = B[2835] ^ B[2994];
	B[3022] = !B[2997];
	B[3023] = B[2998] & B[2945];
	B[3024] = B[3015] & B[2963];
	B[3025] = B[2835] & B[2994];
	B[3026] = !B[3003];
	B[3027] = !B[3005];
	B[3028] = B[3008] & B[2893];
	B[3029] = !B[3009];
	B[3030] = B[3010] & B[2981];
	B[3031] = B[2928] & B[2999];
	B[3032] = !B[3016];
	B[3033] = !B[3011];
	B[3034] = B[3012] & B[2981];
	B[3035] = !B[3014];
	B[3036] = B[2975] & B[2999];
	B[3037] = B[3035] & B[2899];
	B[3038] = !B[3034];
	B[3039] = B[2831] & B[3018];
	B[3040] = B[2968] & B[3019];
	B[3041] = B[3021] ^ B[2877];
	B[3042] = !B[3023];
	B[3043] = !B[3036];
	B[3044] = B[3021] & B[2919];
	B[3045] = !B[3025];
	B[3046] = B[3019] ^ B[2968];
	B[3047] = B[2949] & B[3026];
	B[3048] = B[2982] & B[3027];
	B[3049] = B[3007] & B[3027];
	B[3050] = !B[3028];
	B[3051] = !B[3030];
	B[3052] = !B[3031];
	B[3053] = B[2825] & B[3017];
	B[3054] = B[2825] & B[3032];
	B[3055] = B[2949] & B[3033];
	B[3056] = B[3034] & B[2752];
	B[3057] = !B[3039];
	B[3058] = !B[3040];
	B[3059] = B[731] & B[3042];
	B[3060] = B[2832] ^ B[3039];
	B[3061] = B[3024] & B[3043];
	B[3062] = !B[3055];
	B[3063] = !B[3041];
	B[3064] = !B[3044];
	B[3065] = B[3004] & B[3045];
	B[3066] = !B[3047];
	B[3067] = !B[3048];
	B[3068] = B[3006] & B[3042];
	B[3069] = B[3049] & B[2808];
	B[3070] = !B[3049];
	B[3071] = B[3029] & B[3050];
	B[3072] = B[3052] & B[2958];
	B[3073] = B[3038] & B[2714];
	B[3074] = !B[3037];
	B[3075] = B[3037] & B[2936];
	B[3076] = !B[3054];
	B[3077] = !B[3061];
	B[3078] = B[3075] & B[2965];
	B[3079] = B[2875] & B[3057];
	B[3080] = B[2996] & B[3058];
	B[3081] = !B[3059];
	B[3082] = B[2961] & B[3063];
	B[3083] = B[2955] & B[3070];
	B[3084] = B[3000] & B[3062];
	B[3085] = B[2969] & B[3063];
	B[3086] = B[3046] ^ B[3065];
	B[3087] = B[3066] & B[2979];
	B[3088] = B[3067] & B[2853];
	B[3089] = !B[3068];
	B[3090] = !B[3069];
	B[3091] = !B[3065];
	B[3092] = B[2956] & B[3057];
	B[3093] = B[3051] & B[3070];
	B[3094] = !B[3060];
	B[3095] = B[3076] & B[2888];
	B[3096] = B[3077] & B[2961];
	B[3097] = !B[3078];
	B[3098] = !B[3079];
	B[3099] = !B[3080];
	B[3100] = !B[3086];
	B[3101] = B[3071] & B[3090];
	B[3102] = B[2993] & B[3082];
	B[3103] = B[3082] & B[3077];
	B[3104] = !B[3085];
	B[3105] = B[3087] & B[2922];
	B[3106] = !B[3084];
	B[3107] = !B[3083];
	B[3108] = !B[3092];
	B[3109] = B[3093] & B[2987];
	B[3110] = B[2714] & B[3084];
	B[3111] = B[3046] & B[3091];
	B[3112] = B[3073] & B[3083];
	B[3113] = B[3082] & B[3100];
	B[3114] = !B[3112];
	B[3115] = B[3020] & B[3097];
	B[3116] = !B[3096];
	B[3117] = B[3099] ^ B[3022];
	B[3118] = !B[3111];
	B[3119] = !B[3109];
	B[3120] = B[3099] & B[2997];
	B[3121] = !B[3103];
	B[3122] = B[3102] & B[3097];
	B[3123] = B[3104] & B[3064];
	B[3124] = B[3002] & B[3106];
	B[3125] = B[2856] & B[3101];
	B[3126] = B[3097] & B[2939];
	B[3127] = B[2752] & B[3107];
	B[3128] = B[3106] & B[3017];
	B[3129] = B[3097] & B[2993];
	B[3130] = !B[3101];
	B[3131] = B[3013] & B[3108];
	B[3132] = B[3110] & B[3083];
	B[3133] = B[2993] & B[3113];
	B[3134] = !B[3115];
	B[3135] = B[3113] & B[3077];
	B[3136] = B[3116] & B[2995];
	B[3137] = !B[3120];
	B[3138] = !B[3129];
	B[3139] = B[3114] & B[2826];
	B[3140] = B[2974] & B[3119];
	B[3141] = B[3123] & B[3121];
	B[3142] = !B[3122];
	B[3143] = !B[3124];
	B[3144] = B[3131] & B[3083];
	B[3145] = !B[3125];
	B[3146] = !B[3117];
	B[3147] = B[3117] & B[3022];
	B[3148] = !B[3123];
	B[3149] = !B[3127];
	B[3150] = B[3077] & B[3113];
	B[3151] = B[3126] & B[2928];
	B[3152] = B[3130] & B[2502];
	B[3153] = !B[3128];
	B[3154] = !B[3126];
	B[3155] = B[3097] & B[3133];
	B[3156] = B[3136] & B[3134];
	B[3157] = !B[3135];
	B[3158] = B[3133] & B[2866];
	B[3159] = B[3140] & B[2185];
	B[3160] = B[2978] & B[3154];
	B[3161] = B[3141] & B[3142];
	B[3162] = B[3088] & B[3143];
	B[3163] = !B[3140];
	B[3164] = !B[3151];
	B[3165] = B[3100] & B[3148];
	B[3166] = B[2860] & B[3149];
	B[3167] = !B[3150];
	B[3168] = !B[3147];
	B[3169] = B[3133] & B[3074];
	B[3170] = B[3061] & B[3138];
	B[3171] = B[3146] & B[3133];
	B[3172] = !B[3144];
	B[3173] = B[3153] & B[3016];
	B[3174] = B[2961] ^ B[3170];
	B[3175] = B[3072] & B[3164];
	B[3176] = B[3041] ^ B[3156];
	B[3177] = !B[3155];
	B[3178] = B[3158] & B[2913];
	B[3179] = !B[3169];
	B[3180] = !B[3165];
	B[3181] = B[2910] & B[3168];
	B[3182] = B[3097] & B[3171];
	B[3183] = B[3086] ^ B[3161];
	B[3184] = B[2881] ^ B[3160];
	B[3185] = B[3152] & B[3172];
	B[3186] = B[3163] & B[2704];
	B[3187] = B[2762] & B[3163];
	B[3188] = B[3168] & B[3060];
	B[3189] = B[3180] & B[3118];
	B[3190] = B[3176] & B[1296];
	B[3191] = B[3175] ^ B[2903];
	B[3192] = B[2270] & B[3183];
	B[3193] = !B[3182];
	B[3194] = B[3179] & B[3137];
	B[3195] = !B[3174];
	B[3196] = B[1942] & B[3184];
	B[3197] = B[1934] & B[3183];
	B[3198] = B[2019] & B[3184];
	B[3199] = B[2397] & B[3176];
	B[3200] = B[2019] & B[3176];
	B[3201] = B[2019] & B[3183];
	B[3202] = B[3181] & B[3060];
	B[3203] = !B[3178];
	B[3204] = !B[3186];
	B[3205] = !B[3187];
	B[3206] = !B[3185];
	B[3207] = B[3206] & B[2989];
	B[3208] = B[3189] & B[3157];
	B[3209] = !B[3190];
	B[3210] = B[2019] & B[3191];
	B[3211] = B[2019] & B[3195];
	B[3212] = B[3195] & B[1296];
	B[3213] = !B[3197];
	B[3214] = !B[3196];
	B[3215] = !B[3198];
	B[3216] = !B[3199];
	B[3217] = !B[3200];
	B[3218] = B[1942] & B[3191];
	B[3219] = !B[3201];
	B[3220] = B[3205] & B[2792];
	B[3221] = B[2397] & B[3195];
	B[3222] = !B[3194];
	B[3223] = B[3204] & B[2819];
	B[3224] = B[3189] & B[3167];
	B[3225] = !B[3192];
	B[3226] = B[3208] & B[3177];
	B[3227] = !B[3210];
	B[3228] = B[3224] & B[3203];
	B[3229] = !B[3218];
	B[3230] = !B[3212];
	B[3231] = B[3214] & B[3213];
	B[3232] = !B[3208];
	B[3233] = B[3224] & B[3203];
	B[3234] = B[3202] & B[3222];
	B[3235] = !B[3211];
	B[3236] = !B[3221];
	B[3237] = B[730] & B[3220];
	B[3238] = B[3117] ^ B[3226];
	B[3239] = B[3229] & B[1135];
	B[3240] = B[3227] & B[2269];
	B[3241] = B[3232] & B[3146];
	B[3242] = !B[3228];
	B[3243] = !B[3234];
	B[3244] = B[3233] & B[3194];
	B[3245] = !B[3244];
	B[3246] = B[1934] & B[3238];
	B[3247] = B[2270] & B[3238];
	B[3248] = B[2019] & B[3238];
	B[3249] = !B[3241];
	B[3250] = B[3202] & B[3242];
	B[3251] = B[2895] & B[3243];
	B[3252] = B[3188] & B[3245];
	B[3253] = !B[3246];
	B[3254] = !B[3250];
	B[3255] = B[3251] & B[3144];
	B[3256] = B[3202] & B[3245];
	B[3257] = B[3249] & B[3137];
	B[3258] = B[3247] & B[1749];
	B[3259] = !B[3247];
	B[3260] = !B[3248];
	B[3261] = B[3152] & B[3256];
	B[3262] = !B[3252];
	B[3263] = B[3239] & B[3253];
	B[3264] = !B[3256];
	B[3265] = B[3255] & B[3254];
	B[3266] = B[3002] & B[3256];
	B[3267] = !B[3258];
	B[3268] = B[3256] & B[3017];
	B[3269] = B[3257] & B[3193];
	B[3270] = !B[3261];
	B[3271] = B[3098] & B[3262];
	B[3272] = B[3264] & B[3084];
	B[3273] = !B[3265];
	B[3274] = B[3094] ^ B[3269];
	B[3275] = B[3087] & B[3264];
	B[3276] = B[3105] & B[3264];
	B[3277] = !B[3266];
	B[3278] = B[2856] & B[3264];
	B[3279] = B[3265] & B[2762];
	B[3280] = B[3265] & B[2704];
	B[3281] = !B[3268];
	B[3282] = B[3264] & B[3132];
	B[3283] = B[2910] ^ B[3271];
	B[3284] = B[3173] & B[3281];
	B[3285] = B[2270] & B[3274];
	B[3286] = !B[3282];
	B[3287] = B[1133] & B[3274];
	B[3288] = B[3159] & B[3273];
	B[3289] = B[2848] ^ B[3275];
	B[3290] = B[3207] & B[3270];
	B[3291] = !B[3276];
	B[3292] = B[3162] & B[3277];
	B[3293] = B[3278] & B[3144];
	B[3294] = !B[3272];
	B[3295] = B[2399] & B[3274];
	B[3296] = B[2019] & B[3274];
	B[3297] = B[3140] & B[3273];
	B[3298] = !B[3279];
	B[3299] = !B[3280];
	B[3300] = B[3223] & B[3299];
	B[3301] = B[2805] ^ B[3292];
	B[3302] = !B[3283];
	B[3303] = B[2880] ^ B[3284];
	B[3304] = B[1749] & B[3289];
	B[3305] = !B[3297];
	B[3306] = !B[3287];
	B[3307] = !B[3288];
	B[3308] = B[1942] & B[3289];
	B[3309] = B[2430] ^ B[3290];
	B[3310] = B[3291] & B[2973];
	B[3311] = B[2019] & B[3289];
	B[3312] = !B[3293];
	B[3313] = B[3056] & B[3294];
	B[3314] = B[3139] & B[3286];
	B[3315] = B[3294] & B[3034];
	B[3316] = B[3001] & B[3294];
	B[3317] = B[3237] & B[3298];
	B[3318] = !B[3295];
	B[3319] = !B[3285];
	B[3320] = B[2303] & B[3289];
	B[3321] = B[3053] & B[3294];
	B[3322] = !B[3296];
	B[3323] = B[3309] & B[1133];
	B[3324] = B[1452] ^ B[3300];
	B[3325] = B[3309] & B[1296];
	B[3326] = B[3309] & B[1941];
	B[3327] = B[2762] & B[3305];
	B[3328] = B[1133] & B[3302];
	B[3329] = B[2507] & B[3305];
	B[3330] = B[3314] ^ B[2626];
	B[3331] = B[2626] ^ B[3314];
	B[3332] = B[3303] & B[1296];
	B[3333] = B[2019] & B[3303];
	B[3334] = B[3230] & B[3306];
	B[3335] = B[2620] & B[3307];
	B[3336] = B[3308] & B[2133];
	B[3337] = B[2386] & B[3309];
	B[3338] = B[2610] & B[3305];
	B[3339] = B[2887] ^ B[3310];
	B[3340] = B[2399] & B[3302];
	B[3341] = B[2620] & B[3307];
	B[3342] = B[2270] & B[3302];
	B[3343] = B[2303] & B[3303];
	B[3344] = B[1934] & B[3301];
	B[3345] = !B[3308];
	B[3346] = B[2394] & B[3301];
	B[3347] = !B[3311];
	B[3348] = B[2019] & B[3301];
	B[3349] = B[2019] & B[3302];
	B[3350] = B[3312] & B[3145];
	B[3351] = B[2019] & B[3309];
	B[3352] = !B[3313];
	B[3353] = B[3301] & B[1296];
	B[3354] = !B[3315];
	B[3355] = !B[3316];
	B[3356] = B[3236] & B[3318];
	B[3357] = !B[3317];
	B[3358] = !B[3320];
	B[3359] = !B[3304];
	B[3360] = !B[3321];
	B[3361] = B[1937] & B[3301];
	B[3362] = B[2962] & B[3355];
	B[3363] = B[3083] & B[3354];
	B[3364] = B[3324] & B[1133];
	B[3365] = !B[3325];
	B[3366] = B[1937] & B[3331];
	B[3367] = B[977] & B[3357];
	B[3368] = !B[3332];
	B[3369] = !B[3327];
	B[3370] = !B[3328];
	B[3371] = B[2342] ^ B[3329];
	B[3372] = B[2371] ^ B[3350];
	B[3373] = B[1819] ^ B[3335];
	B[3374] = B[2019] & B[3324];
	B[3375] = B[1651] & B[3324];
	B[3376] = !B[3333];
	B[3377] = !B[3334];
	B[3378] = !B[3336];
	B[3379] = B[2297] & B[3324];
	B[3380] = !B[3337];
	B[3381] = !B[3338];
	B[3382] = !B[3339];
	B[3383] = B[1451] & B[3357];
	B[3384] = !B[3340];
	B[3385] = B[1937] & B[3324];
	B[3386] = !B[3344];
	B[3387] = !B[3342];
	B[3388] = B[1992] ^ B[3341];
	B[3389] = !B[3326];
	B[3390] = !B[3343];
	B[3391] = B[1942] & B[3324];
	B[3392] = !B[3346];
	B[3393] = B[2369] & B[3324];
	B[3394] = B[2397] & B[3324];
	B[3395] = !B[3348];
	B[3396] = !B[3349];
	B[3397] = B[3356] & B[3235];
	B[3398] = B[3326] & B[2133];
	B[3399] = !B[3351];
	B[3400] = !B[3323];
	B[3401] = B[3225] & B[3358];
	B[3402] = !B[3353];
	B[3403] = B[3331] & B[1296];
	B[3404] = B[2019] & B[3331];
	B[3405] = B[3095] & B[3360];
	B[3406] = B[3330] & B[1133];
	B[3407] = B[3166] & B[3352];
	B[3408] = !B[3361];
	B[3409] = !B[3364];
	B[3410] = B[3371] & B[1941];
	B[3411] = !B[3366];
	B[3412] = B[3367] & B[340];
	B[3413] = !B[3372];
	B[3414] = B[3369] & B[2792];
	B[3415] = B[3209] & B[3370];
	B[3416] = B[1796] & B[3371];
	B[3417] = !B[3373];
	B[3418] = B[2482] ^ B[3407];
	B[3419] = !B[3401];
	B[3420] = !B[3404];
	B[3421] = B[2822] ^ B[3362];
	B[3422] = B[2019] & B[3373];
	B[3423] = B[2019] & B[3371];
	B[3424] = !B[3403];
	B[3425] = !B[3398];
	B[3426] = B[2745] ^ B[3363];
	B[3427] = B[1749] & B[3377];
	B[3428] = B[2749] ^ B[3405];
	B[3429] = B[1651] & B[3373];
	B[3430] = !B[3379];
	B[3431] = B[3381] & B[2508];
	B[3432] = B[2394] & B[3382];
	B[3433] = B[3371] & B[1296];
	B[3434] = !B[3383];
	B[3435] = B[3217] & B[3384];
	B[3436] = B[3385] & B[2134];
	B[3437] = B[2303] & B[3382];
	B[3438] = B[1942] & B[3382];
	B[3439] = !B[3367];
	B[3440] = B[3388] & B[1296];
	B[3441] = B[3387] & B[3390];
	B[3442] = !B[3391];
	B[3443] = B[2019] & B[3382];
	B[3444] = B[1749] & B[3382];
	B[3445] = B[3385] & B[2133];
	B[3446] = !B[3394];
	B[3447] = B[3386] & B[340];
	B[3448] = !B[3393];
	B[3449] = B[3399] & B[2269];
	B[3450] = !B[3374];
	B[3451] = !B[3375];
	B[3452] = B[1133] & B[3371];
	B[3453] = !B[3406];
	B[3454] = B[3372] & B[1296];
	B[3455] = B[3451] & B[3359];
	B[3456] = !B[3410];
	B[3457] = B[1937] & B[3428];
	B[3458] = B[2303] & B[3421];
	B[3459] = B[3368] & B[3453];
	B[3460] = !B[3454];
	B[3461] = B[730] ^ B[3414];
	B[3462] = !B[3415];
	B[3463] = !B[3416];
	B[3464] = !B[3449];
	B[3465] = B[2394] & B[3428];
	B[3466] = !B[3418];
	B[3467] = B[3418] & B[1941];
	B[3468] = !B[3452];
	B[3469] = B[1133] & B[3426];
	B[3470] = !B[3427];
	B[3471] = B[2293] & B[3428];
	B[3472] = B[2295] & B[3418];
	B[3473] = B[1838] ^ B[3431];
	B[3474] = !B[3432];
	B[3475] = B[2019] & B[3413];
	B[3476] = B[3433] & B[2235];
	B[3477] = B[3433] & B[2275];
	B[3478] = !B[3422];
	B[3479] = !B[3412];
	B[3480] = B[3428] & B[1296];
	B[3481] = B[1934] & B[3428];
	B[3482] = B[1133] & B[3418];
	B[3483] = B[1937] & B[3426];
	B[3484] = !B[3436];
	B[3485] = !B[3433];
	B[3486] = !B[3437];
	B[3487] = !B[3438];
	B[3488] = B[3439] ^ B[22];
	B[3489] = !B[3440];
	B[3490] = !B[3441];
	B[3491] = B[2019] & B[3428];
	B[3492] = B[2274] & B[3434];
	B[3493] = B[1654] & B[3439];
	B[3494] = !B[3444];
	B[3495] = !B[3443];
	B[3496] = B[2019] & B[3421];
	B[3497] = B[2019] & B[3426];
	B[3498] = !B[3445];
	B[3499] = B[3417] & B[1296];
	B[3500] = B[1133] & B[3417];
	B[3501] = B[3413] & B[1133];
	B[3502] = B[1941] & B[3413];
	B[3503] = B[3365] & B[3409];
	B[3504] = B[1749] & B[3419];
	B[3505] = B[2013] & B[3426];
	B[3506] = B[2019] & B[3418];
	B[3507] = B[1748] & B[3419];
	B[3508] = B[3426] & B[1296];
	B[3509] = B[1939] & B[3421];
	B[3510] = B[3421] & B[1296];
	B[3511] = !B[3423];
	B[3512] = !B[3503];
	B[3513] = !B[3459];
	B[3514] = B[1797] & B[3461];
	B[3515] = B[1651] & B[3460];
	B[3516] = B[1749] & B[3462];
	B[3517] = B[3263] & B[3463];
	B[3518] = !B[3509];
	B[3519] = B[3479] & B[2648];
	B[3520] = B[1749] & B[3460];
	B[3521] = B[3447] & B[3487];
	B[3522] = !B[3507];
	B[3523] = !B[3457];
	B[3524] = !B[3467];
	B[3525] = !B[3505];
	B[3526] = !B[3473];
	B[3527] = B[3456] & B[3411];
	B[3528] = !B[3469];
	B[3529] = !B[3510];
	B[3530] = B[3231] & B[3470];
	B[3531] = !B[3488];
	B[3532] = !B[3471];
	B[3533] = !B[3472];
	B[3534] = B[3473] & B[1296];
	B[3535] = B[2134] & B[3460];
	B[3536] = B[1133] & B[3461];
	B[3537] = B[2402] & B[3461];
	B[3538] = B[3474] & B[3216];
	B[3539] = !B[3475];
	B[3540] = !B[3477];
	B[3541] = !B[3476];
	B[3542] = !B[3461];
	B[3543] = B[2313] & B[3479];
	B[3544] = B[1296] & B[3485];
	B[3545] = !B[3481];
	B[3546] = !B[3480];
	B[3547] = !B[3483];
	B[3548] = !B[3482];
	B[3549] = B[3487] & B[3386];
	B[3550] = B[3456] & B[3411];
	B[3551] = B[3259] & B[3486];
	B[3552] = B[1937] & B[3461];
	B[3553] = B[2274] & B[3460];
	B[3554] = B[1133] & B[3488];
	B[3555] = B[1749] & B[3490];
	B[3556] = B[2274] & B[3489];
	B[3557] = B[2295] & B[3479];
	B[3558] = B[1942] & B[3461];
	B[3559] = !B[3491];
	B[3560] = B[1748] & B[3490];
	B[3561] = B[1651] & B[3461];
	B[3562] = !B[3493];
	B[3563] = B[3483] & B[2133];
	B[3564] = B[2369] & B[3461];
	B[3565] = B[2330] & B[3479];
	B[3566] = B[2019] & B[3461];
	B[3567] = !B[3497];
	B[3568] = B[1937] & B[3479];
	B[3569] = B[1296] & B[3466];
	B[3570] = !B[3499];
	B[3571] = B[2011] & B[3494];
	B[3572] = !B[3496];
	B[3573] = !B[3504];
	B[3574] = !B[3500];
	B[3575] = !B[3506];
	B[3576] = !B[3458];
	B[3577] = B[1133] & B[3473];
	B[3578] = !B[3508];
	B[3579] = !B[3465];
	B[3580] = !B[3501];
	B[3581] = !B[3455];
	B[3582] = B[3424] & B[3468];
	B[3583] = !B[3502];
	B[3584] = B[2270] & B[3581];
	B[3585] = B[3549] & B[1935];
	B[3586] = B[3521] & B[3367];
	B[3587] = !B[3577];
	B[3588] = B[1748] & B[3513];
	B[3589] = !B[3514];
	B[3590] = !B[3516];
	B[3591] = B[2171] & B[3513];
	B[3592] = B[3518] & B[3523];
	B[3593] = B[3519] & B[1024];
	B[3594] = !B[3519];
	B[3595] = !B[3582];
	B[3596] = B[1748] & B[3512];
	B[3597] = B[3397] & B[3573];
	B[3598] = !B[3566];
	B[3599] = B[3529] & B[3528];
	B[3600] = !B[3530];
	B[3601] = B[3532] & B[3378];
	B[3602] = B[2192] & B[3531];
	B[3603] = B[3408] & B[3583];
	B[3604] = B[3535] & B[1748];
	B[3605] = !B[3534];
	B[3606] = B[2274] & B[3513];
	B[3607] = B[3536] & B[2275];
	B[3608] = !B[3537];
	B[3609] = B[3538] & B[3267];
	B[3610] = !B[3543];
	B[3611] = B[1133] & B[3542];
	B[3612] = !B[3544];
	B[3613] = B[3545] & B[3345];
	B[3614] = B[3547] & B[3389];
	B[3615] = B[3546] & B[3548];
	B[3616] = B[1937] & B[3531];
	B[3617] = !B[3551];
	B[3618] = B[1658] & B[3519];
	B[3619] = !B[3550];
	B[3620] = B[2134] & B[3531];
	B[3621] = !B[3549];
	B[3622] = !B[3554];
	B[3623] = B[3552] & B[2133];
	B[3624] = B[2273] & B[3512];
	B[3625] = !B[3557];
	B[3626] = B[2275] & B[3513];
	B[3627] = !B[3555];
	B[3628] = !B[3561];
	B[3629] = !B[3560];
	B[3630] = B[3558] & B[2133];
	B[3631] = !B[3565];
	B[3632] = B[2369] & B[3531];
	B[3633] = !B[3564];
	B[3634] = !B[3563];
	B[3635] = B[2235] & B[3512];
	B[3636] = B[2275] & B[3512];
	B[3637] = B[3402] & B[3580];
	B[3638] = B[3531] & B[2647];
	B[3639] = !B[3569];
	B[3640] = B[2313] & B[3531];
	B[3641] = !B[3552];
	B[3642] = B[3319] & B[3576];
	B[3643] = !B[3568];
	B[3644] = B[2019] & B[3526];
	B[3645] = B[3578] & B[3400];
	B[3646] = B[3524] & B[3525];
	B[3647] = !B[3536];
	B[3648] = !B[3558];
	B[3649] = B[3643] & B[3648];
	B[3650] = !B[3585];
	B[3651] = B[3515] & B[3587];
	B[3652] = !B[3588];
	B[3653] = !B[3586];
	B[3654] = B[3589] & B[2132];
	B[3655] = !B[3591];
	B[3656] = B[3592] & B[3646];
	B[3657] = B[3574] & B[3639];
	B[3658] = B[3605] & B[3434];
	B[3659] = !B[3642];
	B[3660] = !B[3645];
	B[3661] = B[3634] & B[3219];
	B[3662] = !B[3596];
	B[3663] = B[1026] & B[3594];
	B[3664] = B[3570] & B[3622];
	B[3665] = B[2134] & B[3639];
	B[3666] = !B[3599];
	B[3667] = B[2134] & B[3600];
	B[3668] = !B[3602];
	B[3669] = B[3601] & B[3533];
	B[3670] = !B[3603];
	B[3671] = B[3604] & B[3587];
	B[3672] = !B[3606];
	B[3673] = !B[3607];
	B[3674] = B[3435] & B[3609];
	B[3675] = B[3608] & B[3541];
	B[3676] = !B[3611];
	B[3677] = B[1588] & B[3594];
	B[3678] = !B[3614];
	B[3679] = !B[3615];
	B[3680] = !B[3616];
	B[3681] = !B[3613];
	B[3682] = B[2134] & B[3619];
	B[3683] = B[1748] & B[3617];
	B[3684] = B[3620] & B[1794];
	B[3685] = B[3553] & B[3587];
	B[3686] = B[2134] & B[3621];
	B[3687] = !B[3623];
	B[3688] = B[3492] & B[3605];
	B[3689] = B[3556] & B[3622];
	B[3690] = !B[3626];
	B[3691] = !B[3624];
	B[3692] = B[2134] & B[3616];
	B[3693] = !B[3638];
	B[3694] = !B[3630];
	B[3695] = B[3562] & B[3628];
	B[3696] = B[3629] & B[3392];
	B[3697] = !B[3635];
	B[3698] = !B[3640];
	B[3699] = !B[3636];
	B[3700] = !B[3632];
	B[3701] = !B[3644];
	B[3702] = !B[3637];
	B[3703] = !B[3584];
	B[3704] = B[3520] & B[3587];
	B[3705] = B[1748] & B[3595];
	B[3706] = B[3647] & B[3485];
	B[3707] = !B[3649];
	B[3708] = B[2018] & B[3650];
	B[3709] = !B[3651];
	B[3710] = B[3603] & B[3652];
	B[3711] = B[3654] & B[3517];
	B[3712] = !B[3656];
	B[3713] = !B[3706];
	B[3714] = B[3662] & B[3399];
	B[3715] = B[3694] & B[3631];
	B[3716] = !B[3705];
	B[3717] = !B[3704];
	B[3718] = B[3658] & B[1749];
	B[3719] = B[3322] & B[3700];
	B[3720] = B[3664] & B[2235];
	B[3721] = B[1748] & B[3702];
	B[3722] = B[3696] & B[3396];
	B[3723] = B[2273] & B[3666];
	B[3724] = B[3665] & B[3429];
	B[3725] = !B[3667];
	B[3726] = B[3669] & B[3215];
	B[3727] = B[2133] & B[3670];
	B[3728] = !B[3671];
	B[3729] = B[3658] & B[2276];
	B[3730] = B[3673] & B[3539];
	B[3731] = B[3677] & B[1658];
	B[3732] = B[3612] & B[3676];
	B[3733] = B[2275] & B[3666];
	B[3734] = B[2134] & B[3681];
	B[3735] = B[3657] & B[1748];
	B[3736] = B[3442] & B[3680];
	B[3737] = B[2134] & B[3679];
	B[3738] = B[2134] & B[3678];
	B[3739] = !B[3686];
	B[3740] = !B[3684];
	B[3741] = B[2272] & B[3702];
	B[3742] = !B[3683];
	B[3743] = !B[3685];
	B[3744] = !B[3682];
	B[3745] = B[2274] & B[3679];
	B[3746] = !B[3689];
	B[3747] = !B[3688];
	B[3748] = B[3657] & B[1749];
	B[3749] = B[3495] & B[3690];
	B[3750] = !B[3692];
	B[3751] = B[1748] & B[3659];
	B[3752] = B[3658] & B[2235];
	B[3753] = B[1748] & B[3660];
	B[3754] = B[3664] & B[1749];
	B[3755] = B[3575] & B[3698];
	B[3756] = B[2272] & B[3657];
	B[3757] = B[2276] & B[3664];
	B[3758] = B[3664] & B[1748];
	B[3759] = B[3658] & B[1748];
	B[3760] = B[1749] & B[3659];
	B[3761] = B[3663] & B[174];
	B[3762] = B[3695] & B[3571];
	B[3763] = B[2273] & B[3657];
	B[3764] = B[2274] & B[3660];
	B[3765] = B[3658] & B[2273];
	B[3766] = B[3708] & B[3653];
	B[3767] = !B[3710];
	B[3768] = B[3709] & B[3590];
	B[3769] = B[2133] & B[3712];
	B[3770] = !B[3762];
	B[3771] = !B[3756];
	B[3772] = B[3699] & B[3755];
	B[3773] = !B[3765];
	B[3774] = !B[3720];
	B[3775] = !B[3754];
	B[3776] = B[3758] & B[2134];
	B[3777] = !B[3721];
	B[3778] = !B[3760];
	B[3779] = !B[3757];
	B[3780] = !B[3764];
	B[3781] = !B[3763];
	B[3782] = !B[3723];
	B[3783] = !B[3724];
	B[3784] = B[3725] & B[3380];
	B[3785] = !B[3727];
	B[3786] = !B[3729];
	B[3787] = B[3540] & B[3728];
	B[3788] = B[3732] & B[2273];
	B[3789] = !B[3738];
	B[3790] = B[3735] & B[2133];
	B[3791] = !B[3736];
	B[3792] = B[3737] & B[1748];
	B[3793] = !B[3734];
	B[3794] = !B[3733];
	B[3795] = B[3743] & B[3625];
	B[3796] = B[2134] & B[3712];
	B[3797] = B[3742] & B[3627];
	B[3798] = B[3687] & B[3744];
	B[3799] = !B[3741];
	B[3800] = B[1748] & B[3713];
	B[3801] = !B[3745];
	B[3802] = B[2134] & B[3707];
	B[3803] = !B[3753];
	B[3804] = !B[3748];
	B[3805] = !B[3759];
	B[3806] = B[3446] & B[3750];
	B[3807] = !B[3751];
	B[3808] = !B[3752];
	B[3809] = B[3715] & B[3420];
	B[3810] = B[3717] & B[3716];
	B[3811] = !B[3718];
	B[3812] = B[2274] & B[3713];
	B[3813] = !B[3766];
	B[3814] = B[3768] & B[3711];
	B[3815] = B[2134] & B[3767];
	B[3816] = !B[3769];
	B[3817] = !B[3812];
	B[3818] = B[3597] & B[3779];
	B[3819] = B[3807] & B[3579];
	B[3820] = !B[3802];
	B[3821] = B[3430] & B[3782];
	B[3822] = B[3668] & B[3783];
	B[3823] = !B[3776];
	B[3824] = B[3785] & B[3672];
	B[3825] = B[3674] & B[3786];
	B[3826] = B[3730] & B[3787];
	B[3827] = !B[3788];
	B[3828] = !B[3790];
	B[3829] = B[3740] & B[3793];
	B[3830] = B[3559] & B[3789];
	B[3831] = B[3347] & B[3794];
	B[3832] = B[2133] & B[3791];
	B[3833] = !B[3810];
	B[3834] = !B[3792];
	B[3835] = B[3799] & B[3747];
	B[3836] = B[3798] & B[3395];
	B[3837] = B[3797] & B[3260];
	B[3838] = B[3527] & B[3777];
	B[3839] = !B[3796];
	B[3840] = B[3714] & B[3775];
	B[3841] = B[3662] & B[3775];
	B[3842] = B[3772] & B[3771];
	B[3843] = B[3806] & B[3450];
	B[3844] = B[3804] & B[3803];
	B[3845] = B[2270] & B[3770];
	B[3846] = B[3805] & B[3641];
	B[3847] = B[3778] & B[3425];
	B[3848] = B[3801] & B[3448];
	B[3849] = B[3774] & B[3522];
	B[3850] = B[3780] & B[3781];
	B[3851] = !B[3800];
	B[3852] = B[3850] & B[3703];
	B[3853] = B[3719] & B[3819];
	B[3854] = B[3813] & B[3655];
	B[3855] = !B[3814];
	B[3856] = !B[3815];
	B[3857] = !B[3843];
	B[3858] = B[3697] & B[3816];
	B[3859] = B[3811] & B[3851];
	B[3860] = B[3478] & B[3823];
	B[3861] = B[2133] & B[3833];
	B[3862] = !B[3846];
	B[3863] = B[3848] & B[3847];
	B[3864] = !B[3840];
	B[3865] = B[3598] & B[3820];
	B[3866] = !B[3842];
	B[3867] = B[3839] & B[3572];
	B[3868] = !B[3845];
	B[3869] = B[3826] & B[3610];
	B[3870] = B[3822] & B[3784];
	B[3871] = B[3821] & B[3726];
	B[3872] = B[3823] & B[3478];
	B[3873] = B[3824] & B[3675];
	B[3874] = B[3827] & B[3739];
	B[3875] = B[3498] & B[3834];
	B[3876] = B[3830] & B[3746];
	B[3877] = !B[3832];
	B[3878] = B[2134] & B[3833];
	B[3879] = B[3828] & B[3691];
	B[3880] = B[3829] & B[3831];
	B[3881] = !B[3844];
	B[3882] = B[3835] & B[3836];
	B[3883] = !B[3838];
	B[3884] = B[3837] & B[3633];
	B[3885] = !B[3841];
	B[3886] = B[3817] & B[3773];
	B[3887] = B[2134] & B[3862];
	B[3888] = B[3854] & B[3240];
	B[3889] = B[3376] & B[3856];
	B[3890] = B[3855] & B[1024];
	B[3891] = !B[3882];
	B[3892] = !B[3869];
	B[3893] = B[3464] & B[3864];
	B[3894] = B[3858] & B[3818];
	B[3895] = B[3876] & B[3875];
	B[3896] = !B[3865];
	B[3897] = B[3825] & B[3873];
	B[3898] = B[2133] & B[3885];
	B[3899] = B[3870] & B[3871];
	B[3900] = B[3872] & B[3484];
	B[3901] = B[3865] & B[3731];
	B[3902] = B[3874] & B[3795];
	B[3903] = B[2133] & B[3883];
	B[3904] = B[3722] & B[3868];
	B[3905] = !B[3860];
	B[3906] = B[2134] & B[3881];
	B[3907] = B[3567] & B[3877];
	B[3908] = B[3661] & B[3863];
	B[3909] = !B[3861];
	B[3910] = B[3879] & B[3880];
	B[3911] = B[3853] & B[3852];
	B[3912] = !B[3878];
	B[3913] = !B[3859];
	B[3914] = !B[3897];
	B[3915] = !B[3895];
	B[3916] = !B[3888];
	B[3917] = B[3886] & B[3889];
	B[3918] = !B[3911];
	B[3919] = B[3892] & B[3866];
	B[3920] = !B[3910];
	B[3921] = !B[3894];
	B[3922] = B[3913] & B[2134];
	B[3923] = B[3904] & B[3909];
	B[3924] = B[3899] & B[618];
	B[3925] = B[1024] & B[3905];
	B[3926] = B[3908] & B[3849];
	B[3927] = !B[3898];
	B[3928] = !B[3899];
	B[3929] = !B[3900];
	B[3930] = !B[3901];
	B[3931] = B[3899] & B[3089];
	B[3932] = !B[3906];
	B[3933] = !B[3887];
	B[3934] = !B[3903];
	B[3935] = B[3902] & B[3749];
	B[3936] = B[3809] & B[3912];
	B[3937] = B[3915] & B[3891];
	B[3938] = B[3916] & B[3855];
	B[3939] = !B[3924];
	B[3940] = B[3890] & B[3916];
	B[3941] = !B[3926];
	B[3942] = !B[3917];
	B[3943] = !B[3923];
	B[3944] = !B[3935];
	B[3945] = B[3929] & B[3857];
	B[3946] = B[3907] & B[3932];
	B[3947] = !B[3936];
	B[3948] = B[3891] & B[3921];
	B[3949] = B[3915] & B[3866];
	B[3950] = B[3928] & B[677];
	B[3951] = B[3914] & B[3921];
	B[3952] = B[3921] & B[3866];
	B[3953] = B[3931] & B[1658];
	B[3954] = B[3701] & B[3933];
	B[3955] = B[3808] & B[3934];
	B[3956] = B[3867] & B[3927];
	B[3957] = !B[3922];
	B[3958] = !B[3938];
	B[3959] = !B[3946];
	B[3960] = !B[3954];
	B[3961] = B[3893] & B[3947];
	B[3962] = !B[3956];
	B[3963] = B[3940] & B[3939];
	B[3964] = B[3941] & B[3918];
	B[3965] = B[3914] & B[3944];
	B[3966] = B[3955] & B[3884];
	B[3967] = B[3938] & B[3857];
	B[3968] = B[3511] & B[3957];
	B[3969] = B[3939] & B[3920];
	B[3970] = B[3914] & B[3941];
	B[3971] = B[3949] & B[3942];
	B[3972] = !B[3950];
	B[3973] = B[3942] & B[3915];
	B[3974] = B[3943] & B[3920];
	B[3975] = B[3939] & B[1024];
	B[3976] = B[3942] & B[3896];
	B[3977] = !B[3953];
	B[3978] = B[3925] & B[3952];
	B[3979] = B[3914] & B[3937];
	B[3980] = B[3943] & B[3638];
	B[3981] = B[3081] & B[3958];
	B[3982] = !B[3966];
	B[3983] = B[3937] & B[3959];
	B[3984] = !B[3963];
	B[3985] = B[3943] & B[3962];
	B[3986] = B[3961] & B[3942];
	B[3987] = B[3979] & B[3941];
	B[3988] = B[3969] & B[3959];
	B[3989] = B[3978] & B[3967];
	B[3990] = B[3959] & B[3947];
	B[3991] = B[3959] & B[3891];
	B[3992] = B[3089] & B[3972];
	B[3993] = !B[3968];
	B[3994] = B[3974] & B[3970];
	B[3995] = B[3973] & B[3891];
	B[3996] = B[3963] & B[3594];
	B[3997] = B[1743] & B[3958];
	B[3998] = B[1588] & B[3977];
	B[3999] = B[3892] & B[3960];
	B[4000] = B[3961] & B[3962];
	B[4001] = B[3929] & B[3993];
	B[4002] = !B[3981];
	B[4003] = B[3993] & B[3960];
	B[4004] = B[3920] & B[3982];
	B[4005] = B[3983] & B[3919];
	B[4006] = B[3985] & B[3965];
	B[4007] = B[3980] & B[3999];
	B[4008] = B[3948] & B[3990];
	B[4009] = B[3970] & B[3982];
	B[4010] = !B[3992];
	B[4011] = B[3991] & B[3973];
	B[4012] = B[3982] & B[3918];
	B[4013] = B[3941] & B[3982];
	B[4014] = B[3976] & B[3993];
	B[4015] = B[3918] & B[3982];
	B[4016] = B[3593] & B[4002];
	B[4017] = B[3964] & B[4004];
	B[4018] = B[4005] & B[3986];
	B[4019] = B[3945] & B[4003];
	B[4020] = B[3988] & B[4007];
	B[4021] = B[4015] & B[3944];
	B[4022] = B[3971] & B[4008];
	B[4023] = B[4009] & B[3918];
	B[4024] = B[4013] & B[3914];
	B[4025] = B[3994] & B[4012];
	B[4026] = B[3975] & B[4010];
	B[4027] = B[4011] & B[3921];
	B[4028] = B[4001] & B[3960];
	B[4029] = B[4011] & B[3947];
	B[4030] = B[4000] & B[4014];
	B[4031] = !B[4016];
	B[4032] = B[4017] & B[4006];
	B[4033] = B[4019] & B[4018];
	B[4034] = B[4021] & B[3987];
	B[4035] = B[4018] & B[3993];
	B[4036] = B[4023] & B[3943];
	B[4037] = B[3958] ^ B[4026];
	B[4038] = B[4028] & B[4018];
	B[4039] = B[4018] & B[3896];
	B[4040] = B[4001] & B[4018];
	B[4041] = B[4025] & B[3944];
	B[4042] = B[3989] & B[4030];
	B[4043] = B[3984] & B[4031];
	B[4044] = B[4033] & B[4032];
	B[4045] = B[4034] & B[4020];
	B[4046] = B[4022] & B[4032];
	B[4047] = B[4032] & B[3921];
	B[4048] = B[4032] & B[3942];
	B[4049] = B[4031] ^ B[3894];
	B[4050] = !B[4037];
	B[4051] = B[4037] & B[2117];
	B[4052] = B[4032] & B[4019];
	B[4053] = !B[4043];
	B[4054] = B[4042] & B[4045];
	B[4055] = B[4049] ^ B[3996];
	B[4056] = B[3731] & B[4050];
	B[4057] = B[3997] & B[4051];
	B[4058] = B[4038] & B[4047];
	B[4059] = B[4052] & B[4039];
	B[4060] = B[4053] & B[3921];
	B[4061] = !B[4054];
	B[4062] = B[4058] & B[4053];
	B[4063] = B[4035] & B[4053];
	B[4064] = B[4018] & B[4053];
	B[4065] = B[4046] & B[4053];
	B[4066] = B[4032] & B[4053];
	B[4067] = B[3995] & B[4053];
	B[4068] = B[3973] & B[4053];
	B[4069] = B[3951] & B[4053];
	B[4070] = B[3731] & B[4055];
	B[4071] = B[3618] & B[4055];
	B[4072] = !B[4056];
	B[4073] = !B[4057];
	B[4074] = B[4040] & B[4053];
	B[4075] = B[4047] & B[4053];
	B[4076] = B[4074] & B[4047];
	B[4077] = B[4060] & B[4041];
	B[4078] = B[4061] & B[3663];
	B[4079] = B[4075] & B[4029];
	B[4080] = B[4060] & B[3970];
	B[4081] = B[4060] & B[4024];
	B[4082] = B[4060] & B[4048];
	B[4083] = !B[4065];
	B[4084] = B[4060] & B[4032];
	B[4085] = B[4060] & B[4025];
	B[4086] = B[4064] & B[4047];
	B[4087] = B[4060] & B[4036];
	B[4088] = B[4060] & B[4023];
	B[4089] = B[4044] & B[4060];
	B[4090] = B[4066] & B[4027];
	B[4091] = B[4068] & B[4047];
	B[4092] = B[4063] & B[4047];
	B[4093] = B[4067] & B[4047];
	B[4094] = !B[4060];
	B[4095] = B[4064] & B[4047];
	B[4096] = B[3941] ^ B[4069];
	B[4097] = B[3857] ^ B[4062];
	B[4098] = B[4065] & B[3892];
	B[4099] = B[4066] & B[4027];
	B[4100] = B[4061] & B[3761];
	B[4101] = !B[4071];
	B[4102] = !B[4070];
	B[4103] = B[1347] & B[4073];
	B[4104] = B[4059] & B[4060];
	B[4105] = B[3693] ^ B[4104];
	B[4106] = !B[4078];
	B[4107] = B[4083] ^ B[3869];
	B[4108] = B[3866] ^ B[4079];
	B[4109] = B[3929] ^ B[4092];
	B[4110] = B[3942] ^ B[4084];
	B[4111] = B[3944] ^ B[4085];
	B[4112] = B[3896] ^ B[4089];
	B[4113] = B[3959] ^ B[4093];
	B[4114] = B[3993] ^ B[4086];
	B[4115] = B[3943] ^ B[4088];
	B[4116] = B[3920] ^ B[4087];
	B[4117] = B[3960] ^ B[4076];
	B[4118] = B[4094] ^ B[3897];
	B[4119] = B[3915] ^ B[4082];
	B[4120] = B[3891] ^ B[4091];
	B[4121] = B[3947] ^ B[4090];
	B[4122] = B[3982] ^ B[4080];
	B[4123] = !B[4089];
	B[4124] = B[3918] ^ B[4081];
	B[4125] = B[3962] ^ B[4077];
	B[4126] = B[3893] ^ B[4098];
	B[4127] = B[3618] & B[4097];
	B[4128] = B[3993] ^ B[4095];
	B[4129] = B[3731] & B[4096];
	B[4130] = B[3947] ^ B[4099];
	B[4131] = B[4100] & B[27];
	B[4132] = B[3731] & B[4097];
	B[4133] = B[4100] & B[23];
	B[4134] = B[4100] & B[28];
	B[4135] = B[4100] & B[26];
	B[4136] = B[3618] & B[4096];
	B[4137] = B[4100] & B[168];
	B[4138] = B[4101] & B[4072];
	B[4139] = B[4102] & B[2009];
	B[4140] = B[4100] & B[25];
	B[4141] = B[4100] & B[24];
	B[4142] = !B[4103];
	B[4143] = B[2014] & B[4106];
	B[4144] = !B[4141];
	B[4145] = B[38] & B[4106];
	B[4146] = B[3731] & B[4124];
	B[4147] = B[3731] & B[4120];
	B[4148] = B[3618] & B[4113];
	B[4149] = B[589] & B[4106];
	B[4150] = B[3618] & B[4114];
	B[4151] = B[3618] & B[4107];
	B[4152] = B[3731] & B[4122];
	B[4153] = B[3618] & B[4117];
	B[4154] = B[3618] & B[4109];
	B[4155] = B[3731] & B[4118];
	B[4156] = B[3618] & B[4108];
	B[4157] = B[3731] & B[4119];
	B[4158] = B[3618] & B[4112];
	B[4159] = B[3731] & B[4123];
	B[4160] = B[3618] & B[4111];
	B[4161] = B[3731] & B[4125];
	B[4162] = B[3618] & B[4122];
	B[4163] = B[394] & B[4106];
	B[4164] = B[3618] & B[4125];
	B[4165] = B[1289] & B[4106];
	B[4166] = B[3618] & B[4110];
	B[4167] = B[3618] & B[4124];
	B[4168] = B[3731] & B[4107];
	B[4169] = B[3731] & B[4111];
	B[4170] = B[696] & B[4106];
	B[4171] = B[3731] & B[4115];
	B[4172] = B[827] & B[4106];
	B[4173] = B[3618] & B[4116];
	B[4174] = B[3618] & B[4121];
	B[4175] = B[3618] & B[4115];
	B[4176] = B[3618] & B[4119];
	B[4177] = B[3731] & B[4116];
	B[4178] = B[3618] & B[4120];
	B[4179] = !B[4127];
	B[4180] = B[3731] & B[4117];
	B[4181] = B[3731] & B[4130];
	B[4182] = B[3731] & B[4126];
	B[4183] = !B[4129];
	B[4184] = B[3731] & B[4110];
	B[4185] = B[3618] & B[4126];
	B[4186] = B[3731] & B[4128];
	B[4187] = B[3618] & B[4118];
	B[4188] = B[3731] & B[4108];
	B[4189] = B[3731] & B[4113];
	B[4190] = B[3731] & B[4109];
	B[4191] = !B[4134];
	B[4192] = !B[4136];
	B[4193] = !B[4137];
	B[4194] = !B[4131];
	B[4195] = !B[4135];
	B[4196] = !B[4133];
	B[4197] = !B[4132];
	B[4198] = B[1938] & B[4105];
	B[4199] = B[2127] & B[4138];
	B[4200] = B[392] & B[4106];
	B[4201] = !B[4140];
	B[4202] = !B[4105];
	B[4203] = B[490] & B[4106];
	B[4204] = B[1743] & B[4105];
	B[4205] = B[1658] & B[4144];
	B[4206] = !B[4143];
	B[4207] = !B[4145];
	B[4208] = B[3618] & B[4202];
	B[4209] = !B[4149];
	B[4210] = !B[4153];
	B[4211] = !B[4170];
	B[4212] = !B[4155];
	B[4213] = !B[4168];
	B[4214] = !B[4178];
	B[4215] = !B[4172];
	B[4216] = !B[4163];
	B[4217] = !B[4157];
	B[4218] = !B[4158];
	B[4219] = B[3930] ^ B[4159];
	B[4220] = !B[4175];
	B[4221] = !B[4173];
	B[4222] = !B[4146];
	B[4223] = !B[4171];
	B[4224] = !B[4177];
	B[4225] = !B[4176];
	B[4226] = !B[4148];
	B[4227] = !B[4150];
	B[4228] = !B[4174];
	B[4229] = !B[4166];
	B[4230] = !B[4164];
	B[4231] = !B[4165];
	B[4232] = !B[4169];
	B[4233] = !B[4162];
	B[4234] = !B[4156];
	B[4235] = !B[4161];
	B[4236] = !B[4160];
	B[4237] = !B[4167];
	B[4238] = !B[4147];
	B[4239] = !B[4154];
	B[4240] = !B[4152];
	B[4241] = !B[4151];
	B[4242] = !B[4190];
	B[4243] = !B[4188];
	B[4244] = !B[4180];
	B[4245] = B[4179] & B[2009];
	B[4246] = !B[4186];
	B[4247] = !B[4184];
	B[4248] = !B[4182];
	B[4249] = !B[4189];
	B[4250] = !B[4187];
	B[4251] = !B[4181];
	B[4252] = !B[4185];
	B[4253] = !B[4200];
	B[4254] = !B[4203];
	B[4255] = !B[4198];
	B[4256] = !B[4199];
	B[4257] = B[4234] & B[2009];
	B[4258] = B[4219] & B[2009];
	B[4259] = !B[4208];
	B[4260] = B[4231] & B[1658];
	B[4261] = B[4226] & B[4238];
	B[4262] = B[4212] & B[2009];
	B[4263] = B[4232] & B[4230];
	B[4264] = B[4210] & B[2009];
	B[4265] = B[4225] & B[2009];
	B[4266] = B[4237] & B[4240];
	B[4267] = B[4213] & B[2009];
	B[4268] = B[4239] & B[2009];
	B[4269] = B[4221] & B[4223];
	B[4270] = B[4222] & B[4220];
	B[4271] = B[4233] & B[4183];
	B[4272] = B[4241] & B[2009];
	B[4273] = B[4236] & B[4224];
	B[4274] = B[4227] & B[2009];
	B[4275] = B[4235] & B[4229];
	B[4276] = B[4214] & B[4217];
	B[4277] = B[4216] & B[4254];
	B[4278] = B[4211] & B[1658];
	B[4279] = B[4215] & B[1658];
	B[4280] = B[4207] & B[1658];
	B[4281] = B[4218] & B[2009];
	B[4282] = B[4209] & B[1658];
	B[4283] = B[4228] & B[2009];
	B[4284] = B[4250] & B[4139];
	B[4285] = B[4245] & B[4244];
	B[4286] = B[1658] & B[4253];
	B[4287] = B[4206] & B[2059];
	B[4288] = B[4271] & B[2009];
	B[4289] = B[4263] & B[2009];
	B[4290] = B[4260] & B[4193];
	B[4291] = B[4252] & B[4267];
	B[4292] = B[4259] & B[4258];
	B[4293] = B[4266] & B[2009];
	B[4294] = B[4283] & B[4249];
	B[4295] = B[4276] & B[2009];
	B[4296] = B[4262] & B[4192];
	B[4297] = B[4275] & B[2009];
	B[4298] = B[4282] & B[4195];
	B[4299] = B[4197] & B[4281];
	B[4300] = B[4280] & B[4196];
	B[4301] = B[4279] & B[4191];
	B[4302] = B[4261] & B[2009];
	B[4303] = B[4278] & B[4194];
	B[4304] = B[4243] & B[4272];
	B[4305] = B[4264] & B[4242];
	B[4306] = B[4248] & B[4274];
	B[4307] = B[4269] & B[2009];
	B[4308] = B[4270] & B[2009];
	B[4309] = B[4257] & B[4251];
	B[4310] = B[4247] & B[4265];
	B[4311] = B[4246] & B[4268];
	B[4312] = B[4273] & B[2009];
	B[4313] = B[4277] & B[4205];
	B[4314] = B[4286] & B[4201];
	B[4315] = !B[4285];
	B[4316] = !B[4284];
	B[4317] = B[4287] & B[4255];
	B[4318] = !B[4305];
	B[4319] = !B[4302];
	B[4320] = !B[4292];
	B[4321] = !B[4314];
	B[4322] = !B[4309];
	B[4323] = !B[4299];
	B[4324] = !B[4300];
	B[4325] = !B[4311];
	B[4326] = !B[4301];
	B[4327] = !B[4290];
	B[4328] = !B[4298];
	B[4329] = !B[4303];
	B[4330] = !B[4294];
	B[4331] = !B[4308];
	B[4332] = !B[4288];
	B[4333] = !B[4310];
	B[4334] = !B[4295];
	B[4335] = !B[4313];
	B[4336] = !B[4289];
	B[4337] = !B[4293];
	B[4338] = !B[4297];
	B[4339] = !B[4296];
	B[4340] = !B[4312];
	B[4341] = !B[4291];
	B[4342] = !B[4304];
	B[4343] = !B[4307];
	B[4344] = !B[4306];

	res[0] = B[4256];
	res[1] = B[4316];
	res[2] = B[4339];
	res[3] = B[4332];
	res[4] = B[4337];
	res[5] = B[4331];
	res[6] = B[4343];
	res[7] = B[4340];
	res[8] = B[4336];
	res[9] = B[4338];
	res[10] = B[4333];
	res[11] = B[4334];
	res[12] = B[4319];
	res[13] = B[4330];
	res[14] = B[4322];
	res[15] = B[4342];
	res[16] = B[4341];
	res[17] = B[4344];
	res[18] = B[4325];
	res[19] = B[4318];
	res[20] = B[4315];
	res[21] = B[4323];
	res[22] = B[4320];
	res[23] = B[4317];
	res[24] = B[4324];
	res[25] = B[4335];
	res[26] = B[4321];
	res[27] = B[4328];
	res[28] = B[4329];
	res[29] = B[4326];
	res[30] = B[4327];
	res[31] = B[348];

	delete[] B;
	return res;
}
#ifdef __GNUC__
	#ifndef __clang__
		#pragma GCC pop_options
	#endif
#endif
